added package HilbertSchemeStrata

[foschreyer]

No description provided.

[d-torrance]

Would you make the following changes to this call to newPackage?

• Either remove the DebuggingMode line or set it to false.
• Add a Keywords option, which gets a list of strings. Ideally these would come from the list of existing keywords, which are the headings in the packages provided with Macaulay2 documentation page.

[d-torrance]

The following tests are failing:

-- -*- M2-comint -*- hash: 6892328

i1 :  
     S=QQ[x_0..x_3]

o1 = S

o1 : PolynomialRing

i2 : q=x_0*x_3+x_1*x_2

o2 = x x  + x x
      1 2    0 3

o2 : S

i3 : s2=basis(2,S)

o3 = | x_0^2 x_0x_1 x_0x_2 x_0x_3 x_1^2 x_1x_2 x_1x_3 x_2^2 x_2x_3 x_3^2 |

             1      10
o3 : Matrix S  <-- S

i4 : qperp=ideal(s2*syz diff(s2,q))

             2               2                      2         2
o4 = ideal (x , x x , x x , x , x x  - x x , x x , x , x x , x )
             0   0 1   0 2   1   1 2    0 3   1 3   2   2 3   3

o4 : Ideal of S

i5 : I0=ideal(x_0,x_1,x_2^4)

                     4
o5 = ideal (x , x , x )
             0   1   2

o5 : Ideal of S

i6 : I=intersect(I0,qperp)

                                      2         2   4
o6 = ideal (x x , x x  - x x , x x , x , x x , x , x )
             1 3   1 2    0 3   0 2   1   0 1   0   2

o6 : Ideal of S

i7 : betti res I

            0 1  2 3 4
o7 = total: 1 7 11 6 1
         0: 1 .  . . .
         1: . 6  8 3 .
         2: . .  1 2 1
         3: . 1  2 1 .

o7 : BettiTally

i8 : q1:=basis(2,module qperp)

o8 = {2} | 1 0 0 0 0 0 0 0 0 |
     {2} | 0 1 0 0 0 0 0 0 0 |
     {2} | 0 0 1 0 0 0 0 0 0 |
     {2} | 0 0 0 1 0 0 0 0 0 |
     {2} | 0 0 0 0 1 0 0 0 0 |
     {2} | 0 0 0 0 0 1 0 0 0 |
     {2} | 0 0 0 0 0 0 1 0 0 |
     {2} | 0 0 0 0 0 0 0 1 0 |
     {2} | 0 0 0 0 0 0 0 0 1 |

o8 : Matrix

i9 : truncate(2,qperp)

             2               2                      2         2
o9 = ideal (x , x x , x x , x , x x  - x x , x x , x , x x , x )
             3   2 3   1 3   2   1 2    0 3   0 2   1   0 1   0

o9 : Ideal of S

i10 : truncate(3,qperp)

              3     2     2     2   2                     2             2   
o10 = ideal (x , x x , x x , x x , x x , x x x , x x x , x x , x x x , x x ,
              3   2 3   1 3   0 3   2 3   1 2 3   0 2 3   1 3   0 1 3   0 3 
      -----------------------------------------------------------------------
       3     2     2   2             2     3     2   2     3
      x , x x , x x , x x , x x x , x x , x , x x , x x , x )
       2   1 2   0 2   1 2   0 1 2   0 2   1   0 1   0 1   0

o10 : Ideal of S

i11 : extraTerms(I,2,qperp)
stdio:12:10:(3): error: no method for adjacent objects:
            extraTerms (of class Symbol)
    SPACE                                     2         2  . (of class Sequence)
            (ideal (x x , x x  - x x , x x , x , x x , x , .
                     1 3   1 2    0 3   0 2   1   0 1   0  .
-- -*- M2-comint -*- hash: 2038635608

i1 : 
     L={(1,2),(2,3)}

o1 = {(1, 2), (2, 3)}

o1 : List

i2 : i=1

o2 = 1

i3 : successors(i,L)
stdio:4:10:(3): error: no method for adjacent objects:
            successors (of class Symbol)
    SPACE   (1, {(1, 2), (2, 3)}) (of class Sequence)

It looks like extraTerms and successors should both be added to the list of symbols in the call to export near the beginning of the package.