3 Input data types

The input data types determine modes for their internal representation and for operations over them. One distinguishes four different input data types: (commutative) polynomials, modules, differential and difference equations. Their principal distinction lies in the monomial representation. Commutative polynomials may have coefficients of different nature: integer/rational numbers or multi-parametric polynomials/rational functions. The input data can be represented by any admissible expressions, including fractions. A fraction must have in the denominator the same data type as in the numerator. Then, after reducing to a common denominator the last is casted out. The type of a system is given by the class SystemType.

class SystemType( type, module=None, rightPart=None)
Defines the type of a polynomial
type:
string defining the type of a polynomial

Value of type System type
"Polynomial" Polynomial system 3.1
"DifferentialEquation" System of linear differential equations 3.3
"FiniteDifferenceScheme" System of linear difference equations 3.4

module:
integer number that specifies the dimension of a module

rightPart:
integer number that specifies the dimension of the right-hand sides for equalities, and for these sides the relations are to be obtained that characterize consistency of the system. This is applicable to modules only.

The class SystemType has the following attributes:

type
string specifying the type of a system (read-only)

module
integer number specifying the dimension of a module (read-only)

rightPart
integer number specifying the dimension of the rand-hand sides in an equality (read-only)



Subsections