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