Commit 2025-09-29 15:37 2955a4db

feat(PowerBasis): various ways to create power bases (#29674) Add the two following results:

• If x generates S over R and is integral over R, then it defines a power basis over R (also version over a field),
• Construct a power basis from a basis consisting of powers of an element.