Changeset f9b430 in git

Timestamp:

Jul 1, 2010, 4:20:18 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

543deab35d35b991918d51d50605b76536e1c1da

Parents:

a15000c3a4796528e68ed866058804cdf1e3aa8d

Message:

lib systax fixed

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

Location:

Singular

Files:

• LIB/all.lib (modified) (3 diffs)
• LIB/monomial.lib (modified) (2 diffs)
• LIB/resbin.lib (modified) (2 diffs)
• singular-libs (modified) (2 diffs)

Singular/LIB/all.lib

@@ -17 +17 @@
 LIB "algebra.lib";
 LIB "arcpoint.lib";
+LIB "assprime.lib";
 LIB "atkins.lib";
 LIB "brnoeth.lib";
@@ -50 +51 @@
 LIB "modstd.lib";
 LIB "mondromy.lib";
+LIB "monomial.lib";
 LIB "mprimdec.lib";
 LIB "mregular.lib";
@@ -68 +70 @@
 LIB "redcgs.lib";
 LIB "reesclos.lib";
+LIB "resbin.lib";
 LIB "resgraph.lib";
 LIB "resolve.lib";

Singular/LIB/monomial.lib

@@ -9 +9 @@
 @*       E.Garcia-Llorente,   evgarcia@ull.es
 @*       Ph.Gimenez,          pgimenez@agt.uva.es
+
 OVERVIEW:
  A library for computing a primary and the irreducible decompositions of a
@@ -15 +16 @@
  monomial to make some computations that are Grobner free in this case
  (radical, intersection, quotient...).
+
 PROCEDURES:
  isMonomial(id);       checks whether an ideal id is monomial

Singular/LIB/resbin.lib

@@ -2 +2 @@
 ////////////////////////////////////////////////////////////////////////////
 version="$Id: resbin.lib$";
-category="Resolution of singularities";
+category="Commutative algebra";
 info="
 LIBRARY: resbin.lib    Combinatorial algorithm of resolution of singularities
@@ -11 +11 @@
 @*        G. Pfister,           pfister@mathematik.uni-kl.de
 
+SEE ALSO: resolve_lib
+
 PROCEDURES:
  BINresol(J);      computes a E-resolution of singularities of (J) (THE SECOND PART IS NOT IMPLEMENTED YET)
  Eresol(J);                         computes a E-resolution of singularities of (J) in char 0
-
  determinecenter(L1,L2,c,n,Y,a,mb,flag,control3);    computes the next blowing-up center
-
  Blowupcenter(L1,id,m,L2,c,n,h);    makes the blowing-up
  Nonhyp(Coef,expJ,sJ,n,flag,sums);  computes the ideal generated by the non hyperbolic generators of expJ

Singular/singular-libs

@@ -8 +8 @@
 
 SLIB0 = absfact.lib  ainvar.lib  aksaka.lib  alexpoly.lib  algebra.lib \
-        arcpoint.lib  atkins.lib  brnoeth.lib  cimonom.lib  classify.lib \
+        arcpoint.lib  assprime.lib atkins.lib  brnoeth.lib \
+        cimonom.lib  classify.lib \
         compregb.lib  control.lib  crypto.lib  curvepar.lib  decodegb.lib \
         deform.lib elim.lib  equising.lib  finvar.lib  general.lib gmspoly.lib \
@@ -14 +15 @@
         homolog.lib  hyperel.lib  inout.lib  intprog.lib  jacobson.lib \
         kskernel.lib  latex.lib  linalg.lib  lll.lib  makedbm.lib \
-        matrix.lib  modstd.lib  mondromy.lib  mprimdec.lib  mregular.lib \
+        matrix.lib  modstd.lib  mondromy.lib  monomial.lib \
+        mprimdec.lib  mregular.lib \
         noether.lib normal.lib normaliz.lib   ntsolve.lib phindex.lib \
         pointid.lib poly.lib \
         polymake.lib presolve.lib  primdec.lib  primitiv.lib  qhmoduli.lib \
         random.lib \
-        realrad.lib  redcgs.lib  reesclos.lib  resgraph.lib  resolve.lib \
+        realrad.lib  redcgs.lib  reesclos.lib  resbin.lib \
+        resgraph.lib  resolve.lib \
         reszeta.lib  ring.lib  rinvar.lib  rootsmr.lib  rootsur.lib \
         sagbi.lib  sheafcoh.lib  sing.lib  sing4ti2.lib  signcond.lib \