Top
Back: LinearizeAction
Forward: LinearCombinationQ
FastBack: ainvar_lib
FastForward: stratify_lib
Up: rinvar_lib
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.3.8 LinearActionQ

Procedure from library rinvar.lib (see rinvar_lib).

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

Purpose:
check if 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, 3);
==> // ** too many arguments for LinearActionQ
==> 0


Top Back: LinearizeAction Forward: LinearCombinationQ FastBack: ainvar_lib FastForward: stratify_lib Up: rinvar_lib Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.