ApCoCoA-1:DA.Weight

This article is about a function from ApCoCoA-1.

DA.Weight

Computes the weight of a differential polynomial.

Syntax

DA.Weight(F:POLY):INT

Description

Computes the weight of the differential polynomial F.

• @param F A differential polynomial.

• @return The weight of F.

Example

Use QQ[x[1..2,0..20]];
F:=x[1,2]^2x[1,1]3+x[2,1];
DA.Weight(F);
5
-------------------------------
F:=x[1,2]^2x[1,1]^3+x[2,1];
DA.Weight(F);
7
-------------------------------