appendFamily -- Append a one-parameter smoothing family to a data file

i1 : L={5,7,9}

o1 = {5, 7, 9}

o1 : List

i2 : genus L

o2 = 8

i3 : X="fam8"

o3 = fam8

i4 : Xdbm="fam8.dbm"

o4 = fam8.dbm

i5 : setRandomSeed("always successful");
 -- setting random seed to 11500776554390917551191162798934277

i6 : elapsedTime (smooth,J)=getSmoothingFamily(L,6,Verbose=>1)
number of components = 1, codimension of components = {0}
semigroup = {5, 7, 9}
 smoothing components numbers = {0}
 -- .53269s elapsed

                    2             7      9     14   5      2    2 7    2   8
o6 = (true, ideal (x  - x x  - x z  - x z  - 2z  , x  - x x  - x z  - x x z 
                    2    0 4    2      0            0    2 4    4      0 2  
     ------------------------------------------------------------------------
            9    3 10        11        13    2 15      16      18      20  
     - x x z  - x z   - x x z   - x x z   - x z   - x z   - x z   - x z   -
        2 4      0       0 4       0 2       0       4       2       0     
     ------------------------------------------------------------------------
      25   4      3     4 7    2   8     2 9    2   10        11        13  
     z  , x x  - x  - 2x z  - x x z  - 2x z  - x x z   - x x z   - x x z   +
           0 2    4     0      0 4       4      0 2       2 4       0 4     
     ------------------------------------------------------------------------
      2 17      22    27
     x z   - x z   - z  ))
      0       0

o6 : Sequence

i7 : elapsedTime smoothnessWithReductions(J,Verbose=>1)
semigroup = {5, 7, 9}
 -- .0143535s elapsed

o7 = true

i8 : assert(flatten drop(degrees ring J,-1)==L)

i9 : "appendFamily(L,J,X,Xdbm)";