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

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: (List Record(val: List P, tower: TS), V, Boolean) -> List Record(val: P, tower: TS)

stoseInternalLastSubResultant: (P, P, TS, Boolean, 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)