Home Online Manual
Top
Back: LinearizeAction
Forward: LinearCombinationQ
FastBack: ainvar_lib
FastForward: stratify_lib
Up: rinvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.3.8 LinearActionQ

Procedure from library rinvar.lib (see rinvar_lib).

Usage:
LinearActionQ(action,nrs); ideal action, int nrs

Purpose:
check whether the action defined by 'action' is linear w.r.t. the variables var(nrs + 1...nvars(basering)).

Return:
0 action not linear
1 action is linear

Example:
 
LIB "rinvar.lib";
ring R   = 0,(s(1..5), t(1..3)),dp;
ideal G =  s(3)-s(4), s(2)-s(5), s(4)*s(5), s(1)^2*s(4)+s(1)^2*s(5)-1,
s(1)^2*s(5)^2-s(5), s(4)^4-s(5)^4+s(1)^2, s(1)^4+s(4)^3-s(5)^3,
s(5)^5-s(1)^2*s(5);
ideal Gaction = -s(4)*t(1)+s(5)*t(1),
-s(4)^2*t(2)+2*s(4)^2*t(3)^2+s(5)^2*t(2),
s(4)*t(3)+s(5)*t(3);
LinearActionQ(Gaction, 5);
==> 0
LinearActionQ(Gaction, 8);
==> 1