triang.lib
constant
triangL
type
type
ideal
→
returntype
constant
triangLfak
type
type
ideal
→
returntype
constant
triangLbas
type
type
list
→
(
ideal
→
returntype
)
constant
invertieren
type
type
ideal
→
(
poly
→
returntype
)
constant
invertieren_oT
type
type
ideal
→
(
poly
→
returntype
)
constant
Erw_ggt_oT
type
type
ideal
→
(
int
→
(
poly
→
(
poly
→
returntype
)
)
)
constant
normieren_oT
type
type
ideal
→
(
int
→
(
poly
→
(
poly
→
(
poly
→
returntype
)
)
)
)
constant
triangM
type
type
list
→
(
ideal
→
returntype
)
constant
triangMH
type
type
list
→
(
ideal
→
returntype
)
constant
sort_red
type
type
ideal
→
returntype
constant
Listenrest
type
type
list
→
returntype
constant
Idealrest
type
type
ideal
→
returntype
constant
H_anhaengen
type
type
int
→
(
list
→
returntype
)
constant
faktorisiere_letzten
type
type
list
→
returntype
constant
faktorisiere_DB
type
type
ideal
→
returntype
constant
degv
type
type
int
→
(
poly
→
returntype
)
constant
pdiv
type
type
int
→
(
poly
→
(
poly
→
returntype
)
)
constant
lvar
type
type
poly
→
returntype
constant
lcoef
type
type
int
→
(
poly
→
returntype
)