ntsolve.lib
constant
nt_solve
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
sqrt
type
type
number
→
(
number
→
(
number
→
returntype
)
)
constant
il2norm
type
type
number
→
(
ideal
→
returntype
)
constant
ml2norm
type
type
number
→
(
module
→
returntype
)
constant
linesearch
type
type
number
→
(
number
→
(
number
→
(
ideal
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
)
constant
triMNewton
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)