Top
Back: partial_molien
Forward: invariant_basis
FastBack: Invariant theory
FastForward: ainvar_lib
Up: finvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.1.12 evaluate_reynolds

Procedure from library finvar.lib (see finvar_lib).

Usage:
evaluate_reynolds(REY,I);
REY: a <matrix> representing the Reynolds operator, I: an arbitrary <ideal>

Assume:
REY is the first return value of group_reynolds() or reynolds_molien()

Returns:
image of the polynomials defining I under the Reynolds operator (type <ideal>)

Note:
the characteristic of the coefficient field of the polynomial ring should not divide the order of the finite matrix group

Theory:
REY has been constructed in such a way that each row serves as a ring mapping of which the Reynolds operator is made up.

Example:
 


Top Back: partial_molien Forward: invariant_basis FastBack: Invariant theory FastForward: ainvar_lib Up: finvar_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.