SquareFreeRegularTriangularSetGcdPackage(R, E, V, P, TS)

sregset.spad line 422 [edit on github]

• R : GcdDomain
• E : OrderedAbelianMonoidSup
• V : OrderedSet
• P : RecursivePolynomialCategory(R, E, V)
• TS : RegularTriangularSetCategory(R, E, V, P)

A internal package for computing gcds and resultants of univariate polynomials with coefficients in a tower of simple extensions of a field. There is no need to use directly this package since its main operations are available from TS.

startTableGcd! : (String, String, String) -> Void

startTableInvSet! : (String, String, String) -> Void

stopTableGcd! : () -> Void

stopTableInvSet! : () -> Void

stoseIntegralLastSubResultant : (P, P, TS) -> List(Record(val : P, tower : TS))

stoseInternalLastSubResultant : (P, P, TS, Boolean, Boolean) -> List(Record(val : P, tower : TS))

stoseInternalLastSubResultant : (List(Record(val : List(P), tower : TS)), V, Boolean) -> List(Record(val : P, tower : TS))

stoseInvertible? : (P, TS) -> Boolean

stoseInvertible? : (P, TS) -> List(Record(val : Boolean, tower : TS))

stoseInvertible?_reg : (P, TS) -> List(Record(val : Boolean, tower : TS))

stoseInvertible?_sqfreg : (P, TS) -> List(Record(val : Boolean, tower : TS))

stoseInvertibleSet : (P, TS) -> List(TS)

stoseInvertibleSet_reg : (P, TS) -> List(TS)

stoseInvertibleSet_sqfreg : (P, TS) -> List(TS)

stoseLastSubResultant : (P, P, TS) -> List(Record(val : P, tower : TS))

stosePrepareSubResAlgo : (P, P, TS) -> List(Record(val : List(P), tower : TS))

stoseSquareFreePart : (P, TS) -> List(Record(val : P, tower : TS))