Top
Back: nres (plural)
Forward: opposite
FastBack: Data types (plural)
FastForward: Mathematical background (plural)
Up: Functions (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.3.19 oppose

Syntax:
oppose ( ring_name, name )
Type:
poly, vector, ideal, module or matrix (the same type as the second argument)
Purpose:
for a given object in the given ring, creates its opposite object in the opposite ( opposite) ring (the last one is assumed to be the current ring).
Remark:
for any object $O, \; (O^{opp})^{opp} = O$.
 
LIB "ncalg.lib";
def r = makeUsl2();
setring r;
matrix m[3][4];
poly   p  = (h^2-1)*f*e;
vector v  = [1,e*h,0,p];
ideal  i  = h*e, f^2*e,h*f*e;
m         = e,f,h,1,0,h^2, p,0,0,1,e^2,e*f*h+1;
module mm = module(m);
def b     = opposite(r);
setring b; b;
==> //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering a
==> //                  : names    H F E
==> //                  : weights  1 1 1
==> //        block   2 : ordering ls
==> //                  : names    H F E
==> //        block   3 : ordering C
==> //   noncommutative relations:
==> //    FH=HF-2F
==> //    EH=HE+2E
==> //    EF=FE-H
// we will oppose these objects: p,v,i,m,mm
poly P    = oppose(r,p);
vector V  = oppose(r,v);
ideal  I  = oppose(r,i);
matrix M  = oppose(r,m);
module MM = oppose(r,mm);
def c = opposite(b);
setring c;   // now let's check the correctness:
// print compact presentations of objects
print(oppose(b,P)-imap(r,p));
==> 0
print(oppose(b,V)-imap(r,v));
==> [0]
print(matrix(oppose(b,I))-imap(r,i));
==> 0,0,0
print(matrix(oppose(b,M))-imap(r,m));
==> 0,0,0,0,
==> 0,0,0,0,
==> 0,0,0,0 
print(matrix(oppose(b,MM))-imap(r,mm));
==> 0,0,0,0,
==> 0,0,0,0,
==> 0,0,0,0 
See envelope; opposite.


Top Back: nres (plural) Forward: opposite FastBack: Data types (plural) FastForward: Mathematical background (plural) Up: Functions (plural) Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-0-3, 2016, generated by texi2html.