|
D.11.2.11 canonize
Procedure from library control.lib (see control_lib).
- Usage:
- canonize(L); L a list
- Return:
- list
- Purpose:
- modules in the list are canonized by computing their reduced minimal (= unique up to constant factor w.r.t. the given ordering) Groebner bases
- Assume:
- L is the output of control/autonomy procedures
Example:
|