|
 |
 |
 |
 |
 |
 |
 |
 |
 |
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 |