latex.lib for multindexed variables

[gorzel]

Ich habe die latex.lib etwas erweitert:

  1.) Multindexed variables und parameters in der Form
  
        x1_2_3, x_1_2_3, x(1)(2)(3), x1_2(3), x_1_(2)(3)

   werden nach
     
     x_{1,2,3}

    uebersetzt.

   Bei Variablen, derzeit jedoch nicht bei Parametern, werden auch negative
   Indizes korrekt verarbeitet

    x(-1)(2)(-2)  --> x_{-1,2,-2}
 
 2.) texring erkennt nun
       integer \Z,\Z_n 
       real  \R
       complex \C

 3.) zwischen paramtern und variablen habe ich ein \cdot eingefuegt

 4.) texproc kann nun auf sich selbst angewendet werden und 
     erkennt das Schluesselwort  alias

texdemo(); und lib2doc make latex.dvi laufen durch. Die Dokumentation ist jedoch noch nicht aktualisiert.

Hier noch ein kurzer Test

// Test for new functionality:
// texring:
  ring rZ = integer,x,dp;
  texring("",rZ);
  ring rZ8 = (integer,8),x,dp;
  texring("",rZ8);
  
  ring rR = real,x,dp;
  texring("",rR);

  ring rR2010 = (real,20,10),x,dp;
  texring("",rR2010);

  ring rC = complex,x,dp;
  texring("",rC);

  ring rC2010 = (complex,20,10),x,dp;
  texring("",rC2010);

// multi-indexed parameters and variables

  ring rmultind34 = 0,(a(1..3)(1..4)),dp;
  texring("",r34);
  matrix A[3][4] = maxideal(1);  // 3x4 matrix filled with a_{i,j}
  texobj("",A);

  ring rmultind2 = 0,(x1_2,y_1_1,z),ds;
  texring("",rmultind2);

  ring rmultind3 = 0,(x(-1..1)(0)(3..4)),ds;
  texobj("",maxideal(1));

  ring rmultind4 = (0,b1(0..2),b2_1(3)),x,ds;
  texpoly("",par(1)*par(2)*par(3)+par(4)*x);

Die library habe ich Viktor geschickt, um sie einzuchecken.

Anbei noch eine kurze Doku, die nur teilweise die Neuerungen beschreibt.

[levandov]

What I detected is the necessity of merging the two versions of latex.lib; Christian used the version he had, which was meanwhile patched/debugged further. However I think it's quite doable. Here's my code to test Letterplace rings, ideals and polynomials, everything went quite smoothly. Thank you Christian!

LIB "freegb.lib";
LIB "latex.lib";
ring r = 0,(x,y,z),dp;
int d =4; // degree bound
def R = makeLetterplaceRing(d);
setring R;
texring("",R);
ideal I = x(1)*y(2) + y(1)*z(2), x(1)*x(2) + x(1)*y(2) - y(1)*x(2) - y(1)*y(2);
texobj("",I);
ideal I2 = std(I); // fake Letterplace, non-shift-linear elements appear
texobj("",I2);
option(redSB); option(redTail);
ideal J = system("freegb",I,d,nvars(r)); // real Letterplace
texobj("",J);

[gorzel]

-------------------------------------------------------------------------------------------------------

quoting viktor:

What I detected is the necessity of merging the two versions of latex.lib; Christian used the version he had, which was meanwhile patched/debugged further.

-------------------------------------------------------------------------------------------------------

I have only access to Singular's version of latex.lib, which I and everybody can download from the ftp/http server

The latest version I find there in "nightly build" is from 23.7.2010. The binaries are updated daily, but the Singular-share.tar. part which contains the libraries might be not up to date.

So I can't see whether the Singular.team made the other changes in the library.

Since I don't have access to your svn, I don't know how to merge.

Could you send me the actual version from your site, and show what the message concerning texproc are?

In any case, I want to post a slighlty changed version of latex.lib from my site

[gorzel]

Ich habe mir die latex.lib in

​http://www.singular.uni-kl.de:8002/trac/browser/trunk/Singular/LIB/latex.lib

angesehen. Die von mir erweiterte latex.lib hatte den Zeitstempel

version="$Id: latex.lib 12231 2009-11-02 10:12:22Z hannes $";

und stimmte also mit der aktuellsten eingecheckten Version überein.

Die von mir vorgenommen Aenderungen in der proc texproc betrafen mehrere Zeilen. Daher kann es sein, dass ein einfaces diff nicht die Unterschied erkennt. Kann das dennoch so übernommen werden.

Ich habe oben die neuere Version der latex.lib vom 10/10/10 angefügt. Zur Unterscheidung habe ich ans Ende der Datei habe ich dieses Datum geschrieben.

Zwei kleine Anederungen, im wesentlichen nur, dass die erzeugte Datei texlibdemo.tex vernüftig im Editor aussieht.

[gorzel]

Neue version von latex.lib 10/10/10

[levandov]

I proposed to Christian in the email to go through the differences, some of which clearly appears from bugfixes by Singular Team, and to merge the things carefully.

[gorzel]

I have compared version 13477 and 12231. The 149 diffs which are displayedb by View changes are the changes that I have made.

I will not explain in detail, why I made some many changes:

But for instance: in texfactorize, I hade an if statement, which was necessecary

since Singular crashed with factorize(0). As this has been fixed, I improved the code...

etc.

---

If there had been before some bugfixes done (or bugs found) by the Singular Team, then let me now in advance.

All in all, meanwhile I believe, that some misunderstanding occured between us.

[hannes]

included with the following changes: HEADER: PROCEDURES must be the last entry

text: trailing spaces and tabs removed