Changeset f84dfa in git

Timestamp:

Jan 13, 2014, 12:02:58 PM (10 years ago)

Author:

Janko Boehm <boehm@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

9bf3ee2b60c993fa1cfc2d47f1c2e2a0ae5c34c2bbb8fa401a826c3aa9827457718f04c4da962e1d

Parents:

89b9eef73c1e69428b33ae8cb73f2cc92253c3b4

Message:

Fixed minor bug in reesclos.lib

File:

• Singular/LIB/reesclos.lib (modified) (2 diffs)

Singular/LIB/reesclos.lib

@@ -128 +128 @@
   map psi=R(1),mapI;              // from ReesAlgebra: the map Rees->Kxt
   ideal images=(psi(preimages))[1];
-  images=images[size(images)]*ideal(psi)+images;
+  ideal psii = images[size(images)]*ideal(psi);
   list imagesl = images[1..size(images)];
+  list psil =psii[1..size(psii)];
+  imagesl=psil+imagesl;
   return(imagesl);
 }
@@ -388 +390 @@
   // closure of I and its powers, depending on # (in fact, they will
   // not be real fractions, of course). This is done in ClosurePower.
-
   list result = ClosurePower(images,#);