Top
Back: InvariantRing
Forward: LinearizeAction
FastBack:
FastForward:
Up: rinvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.3.6 InvariantQ

Procedure from library rinvar.lib (see rinvar_lib).

Usage:
InvariantQ(f, G, action); poly f; ideal G, action

Purpose:
check whether the polynomial f is invariant w.r.t. G, where G acts via 'action' on K^m.

Assume:
basering = K[s_1,...,s_m,t_1,...,t_m] where K = Q of K = Q(a) and minpoly != 0, f contains only t_1,...,t_m, G is the ideal of an algebraic group and a standardbasis.

Return:
int;
0 if f is not invariant,
1 if f is invariant

Note:
G need not be finite


Top Back: InvariantRing Forward: LinearizeAction FastBack: FastForward: Up: rinvar_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.