Changeset 56c1da in git

Timestamp:

Mar 15, 2018, 3:03:41 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

7e5164822dfad56a986d4d205e77a60f62611fc3

Parents:

8ff090c8caf331f456d841b4dfcae0dab86cc3d3

Message:

Add lpPrint()

File:

• Singular/LIB/freegb.lib (modified) (1 diff)

Singular/LIB/freegb.lib

@@ -3732 +3732 @@
 }
 
+proc lpPrint(ideal I, def @r)
+"USAGE: lpPrint(I, r); I an ideal, r a ring
+RETURN: list of strings
+PURPOSE: represent Letterplace ideal in the form of words
+ASSUME: - basering is a Letterplace ring, r is the commutative ring
+from which basering has been built
+EXAMPLE: example lpPrint; shows example
+"
+{
+        def save = basering;
+        lp2lstr(I,@r); // export an object called @code{@LN} to the ring r
+        setring @r;  // change to the ring r
+        list @L = lst2str(@LN,1);
+        export @L;
+        setring save;
+        list @@L = @L;
+        setring @r;
+        kill @L;
+        kill @LN;
+        setring save;
+        return(@@L);
+}
+example
+{
+ "EXAMPLE:"; echo = 2;
+ ring r = (0,a,b,g),(x,y),Dp;
+ def R = makeLetterplaceRing(4); // constructs a Letterplace ring
+ setring R; // downup algebra A
+ ideal J = x(1)*x(2)*y(3)-a*x(1)*y(2)*x(3) - b*y(1)*x(2)*x(3) - g*x(1),
+ x(1)*y(2)*y(3)-a*y(1)*x(2)*y(3) - b*y(1)*y(2)*x(3) - g*y(1);
+ list L = lpPrint(J,r);
+ L;
+}
+
 /* THE FOLLOWING ARE UNDER DEVELOPMENT
 // copied following from freegb_wrkcp.lib by Karim Abou Zeid on 07.04.2017: