|
D.11.2.10 genericity
Procedure from library control.lib (see control_lib).
- Usage:
- genericity(M); M is a matrix/module
- Return:
- list (of strings)
- Purpose:
- determine parametric expressions which have been assumed to be non-zero in the process of computing the Groebner basis
- Note:
- the output list consists of strings. The first string contains the variables only, whereas each further string contains
a single polynomial in parameters.
We strongly recommend to switch on the redSB and redTail options.
The procedure is effective with the lift procedure for modules with parameters
Example:
|