Top
Back: findimAlgebra
Forward: rightStd
FastBack: ncfactor_lib
FastForward: perron_lib
Up: nctools_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.13.0. superCommutative
Procedure from library nctools.lib (see nctools_lib).

Usage:
superCommutative([b,[e, [Q]]]);

Return:
qring

Purpose:
create a super-commutative algebra (as a GR-algebra) over a basering,

Note:
activate this qring with the "setring" command.

Note:
if b==e then the resulting ring is commutative.
By default, b=1, e=nvars(basering), Q=0.

Theory:
given a basering, this procedure introduces the anti-commutative relations
var(j)var(i)=-var(i)var(j) for all e>=j>i>=b and creates the quotient
of the anti-commutative algebra modulo the two-sided ideal, generated by
x(b)^2, ..., x(e)^2[ + Q]

Display:
If printlevel > 1, warning debug messages will be printed

Example:
 


Top Back: findimAlgebra Forward: rightStd FastBack: ncfactor_lib FastForward: perron_lib Up: nctools_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.