|
D.4.23.5 algebraicDependence
Procedure from library sagbi.lib (see sagbi_lib).
- Usage:
- algebraicDependence(I,it); I an an ideal, it is an integer
- Return:
- ring
- Assume:
- basering is not a qring
- Purpose:
- Returns a ring containing the ideal
algDep , which contains possibly
some algebraic dependencies of the elements of I obtained through it
iterations of the SAGBI construction algorithms. See the example on how
to access these objects.
Example:
|