|
D.15.5.18 PartitionVar
Procedure from library finitediff.lib (see finitediff_lib).
- Usage:
- PartitionVar(f); f a poly in the basering;
- Return:
- type poly; gives back a list L=f1,f2 obtained by the partition of f into two parts f1,f2 with deg_var_n(f1) >0 deg_var_n(f2)=0
Example:
|