Top
Back: derivate
Forward: reduction
FastBack: finvar_lib
FastForward: rinvar_lib
Up: ainvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.2.3 actionIsProper

Procedure from library ainvar.lib (see ainvar_lib).

Usage:
actionIsProper(m); m matrix

Assume:
m is a nx1 matrix, where n = number of variables of the basering

Return:
int = 1, if the action defined by m is proper, 0 if not

Note:
m defines a group action which is the exponential of the vector field m[1,1]*d/dx(1) +...+ m[1,n]*d/dx(n)

Example:
 


Top Back: derivate Forward: reduction FastBack: finvar_lib FastForward: rinvar_lib Up: ainvar_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.