control.lib
constant
Opt_Our
type
type
returntype
constant
space
type
type
int
→
returntype
constant
view
type
type
def
→
returntype
constant
rightKernel
type
type
matrix
→
returntype
constant
leftKernel
type
type
matrix
→
returntype
constant
leftInverse
type
type
module
→
returntype
constant
rightInverse
type
type
module
→
returntype
constant
dim_Our
type
type
module
→
returntype
constant
Ann_Our
type
type
module
→
returntype
constant
Ext_Our
type
type
list
→
(
module
→
(
int
→
returntype
)
)
constant
control_output
type
type
list
→
(
module
→
(
module
→
(
int
→
(
int
→
returntype
)
)
)
)
constant
control
type
type
module
→
returntype
constant
controlDim
type
type
module
→
returntype
constant
colrank
type
type
module
→
returntype
constant
autonom_output
type
type
int
→
(
module
→
(
int
→
(
int
→
returntype
)
)
)
constant
autonomDim
type
type
module
→
returntype
constant
autonom
type
type
module
→
returntype
constant
genericity
type
type
matrix
→
returntype
constant
victors_genericity
type
type
matrix
→
returntype
constant
evas_genericity
type
type
matrix
→
returntype
constant
canonize
type
type
list
→
returntype
constant
elementof
type
type
intvec
→
(
int
→
returntype
)
constant
iostruct
type
type
module
→
returntype
constant
smdeg
type
type
matrix
→
returntype
constant
NoNon0Pol
type
type
vector
→
returntype
constant
extgcd_Our
type
type
poly
→
(
poly
→
returntype
)
constant
normalize_Our
type
type
matrix
→
(
matrix
→
returntype
)
constant
oldsmith
type
type
module
→
returntype
constant
verbatim_tex
type
type
link
→
(
string
→
returntype
)
constant
findTorsion
type
type
ideal
→
(
module
→
returntype
)
constant
controlExample
type
type
string
→
returntype
constant
exCauchy1
type
type
returntype
constant
exCauchy2
type
type
returntype
constant
exZerz1
type
type
returntype
constant
exControl1
type
type
returntype
constant
exControl2
type
type
returntype
constant
exAntenna
type
type
returntype
constant
exEinstein
type
type
returntype
constant
exFlexibleRod
type
type
returntype
constant
exTwoPendula
type
type
returntype
constant
exWindTunnel
type
type
returntype