Home Online Manual
Top
Back: diffAlgebraUnivDerIdeal
Forward: diffAlgebraListGen
FastBack:
FastForward:
Up: difform_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.2.5 diffAlgebraChangeOrd

Procedure from library difform.lib (see difform_lib).

Usage:
diffAlgebraChangeOrd(#); # list

Assume:
the current basering is the differential algebra

Return:
the differential algebra with changed monomial ordering

Note:
- an ordering is defined via the following pattern:
- #[i] = 'gen' defines the ordering on the generators dx_i - #[i+1] must then be a valid monomial ordering as string - #[i+2] an optional weight vector
- #[i] = 'ringvar' defines the ordering on the ringvariables - #[i+1] must then be a valid monomial ordering as string - #[i+2] an optional weight vector
- only use for interior computations
- differential forms are polynomials in the differential algebra - not in the returned ring - do not define differential forms as polynomials in the returned ring since this is another data-ring - an error occurs if: - no valid monomial ordering is given - no weight vector is given but a weighted monomial ordering - a given weight vector has wrong dimension
- weight vectors are ignored if the given ordering is not weighted

See also: difformIsBigger; difformIsSmaller; difformListSort.