hyperel.lib
constant
ishyper
type
type
poly
→
(
poly
→
returntype
)
constant
isoncurve
type
type
poly
→
(
poly
→
(
list
→
returntype
)
)
constant
divrem
type
type
poly
→
(
poly
→
returntype
)
constant
chinrestp
type
type
list
→
(
list
→
returntype
)
constant
norm
type
type
poly
→
(
poly
→
(
poly
→
(
poly
→
returntype
)
)
)
constant
multi
type
type
poly
→
(
poly
→
(
poly
→
(
poly
→
(
poly
→
(
poly
→
returntype
)
)
)
)
)
constant
darst
type
type
poly
→
(
poly
→
(
int
→
(
list
→
returntype
)
)
)
constant
ratrep1
type
type
poly
→
(
poly
→
(
list
→
returntype
)
)
constant
ratrep
type
type
poly
→
(
poly
→
(
list
→
returntype
)
)
constant
ordnung
type
type
poly
→
(
poly
→
returntype
)
constant
divisor
type
type
list
→
(
poly
→
(
poly
→
(
poly
→
(
poly
→
returntype
)
)
)
)
constant
gcddivisor
type
type
list
→
(
list
→
returntype
)
constant
semidiv
type
type
poly
→
(
poly
→
(
list
→
returntype
)
)
constant
cantoradd
type
type
poly
→
(
poly
→
(
list
→
(
list
→
returntype
)
)
)
constant
cantorred
type
type
poly
→
(
poly
→
(
list
→
returntype
)
)
constant
double
type
type
poly
→
(
poly
→
(
list
→
returntype
)
)
constant
cantormult
type
type
poly
→
(
poly
→
(
list
→
(
int
→
returntype
)
)
)