|
D.8.1.10 solvelinearpart
Procedure from library presolve.lib (see presolve_lib).
- Usage:
- solvelinearpart(id [,n] ); id=ideal/module, n=integer (default: n=0)
- Return:
- (interreduced) generators of id of degree <=1 in reduced triangular
form if n=0 [non-reduced triangular form if n!=0]
- Assume:
- monomial ordering is a global ordering (p-ordering)
- Note:
- may be used to solve a system of linear equations,
see
gauss_row from 'matrix.lib' for a different method
- Warning:
- the result is very likely to be false for 'real' coefficients, use
char 0 instead!
Example:
|