Changeset 1b1568 in git for Singular

Timestamp:

Jan 11, 2007, 2:27:14 AM (17 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4bd32dfef92ec9f5ed8dceee82d14318ae147107')

Children:

d2fb64d5c055a8573ed4160fe7b08ea81b52fcd1

Parents:

fdd5604bedc8353dc8e4d0431a01159bbb48053b

Message:

*levandov: added rightStd function


git-svn-id: file:///usr/local/Singular/svn/trunk@9681 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/nctools.lib (modified) (3 diffs)

Singular/LIB/nctools.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: nctools.lib,v 1.20 2007-01-09 17:04:23 motsak Exp $";
+version="$Id: nctools.lib,v 1.21 2007-01-11 01:27:14 levandov Exp $";
 category="Noncommutative";
 info="
@@ -20 +20 @@
 findimAlgebra(M,[r]);     create finite dimensional algebra structure from the basering and the multiplication matrix M,
 SuperCommutative([b,e]);  return qring, the super-commutative algebra over a basering,
+rightStd(I);              compute a right Groebner basis of an ideal,
 
 AUXILIARY PROCEDURES:
@@ -1200 +1201 @@
 }
 
+
+proc rightStd(ideal I)
+"USAGE:  rightStd(I); I an ideal
+PURPOSE: compute a right Groebner basis of I
+RETURN:  ideal
+EXAMPLE: example rightStd; shows examples
+"
+{
+  def A = basering;
+  def Aopp = opposite(A);
+  setring Aopp;
+  ideal Iopp = oppose(A,I);
+  ideal Jopp = std(Iopp);
+  setring A;
+  ideal J = oppose(Aopp,Jopp);
+  return(J);
+}
+example
+{ "EXAMPLE:"; echo = 2;
+  LIB "ncalg.lib";
+  def A = makeUsl(2);
+  setring A;
+  ideal I = e2,f;
+  option(redSB);
+  option(redTail);
+  ideal LI = std(I);
+  LI;
+  ideal RI = rightStd(I);
+  RI;
+}
 //////////////////////////////////////////////////////////////////////