|
7.7.2.0. sa_reduce
Procedure from library central.lib (see central_lib).
- Usage:
- sa_reduce(V); V ideal
- Return:
- ideal, generated by computed elements
- Purpose:
- compute a subalgebra basis of an algebra generated by the elements of V
- Note:
- At the moment the usage of this procedure is limited to G-algebras
Example:
See also:
sa_poly_reduce.
|