|
D.12.6.4 generalOrder
Procedure from library weierstr.lib (see weierstr_lib).
- Usage:
- generalOrder(f); f=poly
- Return:
- integer b if f is general of order b w.r.t. the last variable, say T,
resp. -1 if not
(i.e. f(0,...,0,T) is of order b, resp. f(0,...,0,T)==0)
- Note:
- the procedure works for any monomial ordering
Example:
|