D.11.2.1 control | | analysis of controllability-related properties of R (using Ext modules) |
D.11.2.2 controlDim | | analysis of controllability-related properties of R (using dimension) |
D.11.2.3 autonom | | analysis of autonomy-related properties of R (using Ext modules) |
D.11.2.4 autonomDim | | analysis of autonomy-related properties of R (using dimension) |
D.11.2.5 leftKernel | | a left kernel of R |
D.11.2.6 rightKernel | | a right kernel of R |
D.11.2.7 leftInverse | | a left inverse of R |
D.11.2.8 rightInverse | | a right inverse of R |
D.11.2.9 colrank | | a column rank of M as of matrix |
D.11.2.10 genericity | | analysis of the genericity of parameters |
D.11.2.11 canonize | | Groebnerification for modules in the output of control or autonomy procs |
D.11.2.12 iostruct | | computes an IO-structure of behavior given by a module R |
D.11.2.13 findTorsion | | generators of the submodule of a module R, annihilated by the ideal I |
D.11.2.14 controlExample | | set up an example from the mini database inside of the library |
D.11.2.15 view | | well-formatted output of lists, modules and matrices |