paraplanecurves.lib
constant
invertBirMap
type
type
ideal
→
(
ideal
→
returntype
)
constant
checkAssumptions
type
type
poly
→
returntype
constant
paraPlaneCurve
type
type
list
→
(
poly
→
returntype
)
constant
w_deg
type
type
intvec
→
(
poly
→
returntype
)
constant
findCoordChange
type
type
ideal
→
(
poly
→
returntype
)
constant
adjointIdeal
type
type
list
→
(
poly
→
returntype
)
constant
adjointIdealAtWork
type
type
list
→
(
poly
→
returntype
)
constant
adjointIdealIB
type
type
list
→
(
poly
→
returntype
)
constant
adjointIdealIQ
type
type
list
→
(
poly
→
returntype
)
constant
mapToRatNormCurve
type
type
ideal
→
(
poly
→
returntype
)
constant
rncAntiCanonicalMap
type
type
ideal
→
returntype
constant
rncItProjOdd
type
type
ideal
→
returntype
constant
rncItProjEven
type
type
ideal
→
returntype
constant
geomGenusIB
type
type
list
→
(
poly
→
returntype
)
constant
geomGenusLA
type
type
poly
→
returntype
constant
deltaLocMod
type
type
ideal
→
(
poly
→
returntype
)
constant
paraConic
type
type
poly
→
returntype
constant
projConic
type
type
poly
→
returntype
constant
isIrreducible
type
type
poly
→
returntype
constant
isQuadratic
type
type
poly
→
returntype
constant
largestSquare
type
type
bigint
→
returntype
constant
jIndex
type
type
bigint
→
(
bigint
→
(
bigint
→
returntype
)
)
constant
aMod
type
type
bigint
→
(
bigint
→
returntype
)
constant
aDiv
type
type
bigint
→
(
bigint
→
returntype
)
constant
polyModP
type
type
bigint
→
(
poly
→
returntype
)
constant
rootModP
type
type
bigint
→
(
bigint
→
returntype
)
constant
inverseModP
type
type
bigint
→
(
bigint
→
returntype
)
constant
squareRoot
type
type
int
→
(
bigint
→
(
bigint
→
returntype
)
)
constant
chineseRemainder
type
type
list
→
(
list
→
returntype
)
constant
rationalPointSpecial
type
type
bigint
→
(
bigint
→
returntype
)
constant
extendedEuclid
type
type
bigint
→
(
bigint
→
returntype
)
constant
legendreSymbol
type
type
bigint
→
(
bigint
→
returntype
)
constant
buildExtension
type
type
bigint
→
(
bigint
→
(
bigint
→
(
bigint
→
returntype
)
)
)
constant
testRationalPointConic
type
type
poly
→
returntype
constant
rationalPointConic
type
type
poly
→
returntype
constant
testParametrization
type
type
def
→
(
poly
→
returntype
)
constant
testPointConic
type
type
def
→
(
poly
→
returntype
)