|
7.7.2.0. isCartan
Procedure from library central.lib (see central_lib).
- Usage:
- isCartan(f); f poly
- Purpose:
- check whether f is a Cartan element.
- Return:
- integer, 1 if f is a Cartan element and 0 otherwise.
- Note:
- f is a Cartan element of the algebra A
if and only if for all g in A there exists C in K such that [f, g] = C * g
if and only if for all variables v_i there exist C in K such that [f, v_i] = C * v_i.
Example:
|