dumpdata

dumpdata s -- dump all data segments for the current process to the file whose name is stored in the string s.

This effectively saves the entire state of the system, except that the input buffer for the file stdin appears to have been emptied, and care is taken so that the environment and the command line arguments maintain their new values when the data is reloaded later with loaddata. 

     i1 = R = ZZ/101[a..d]
     
     o1 = R
     
     o1 : PolynomialRing
     
     i2 = M = prune Ext^2(image vars R, image vars R)
     
     o2 = cokernel | 0 0 0 0 0 d 0 0 0 0 0 c 0 0 0 0 0 b 0 0 0 0 0 a |
                   | 0 0 0 d 0 0 0 0 0 c 0 0 0 0 0 0 b 0 0 0 0 0 a 0 |
                   | d 0 0 0 0 0 c 0 0 0 0 0 0 b 0 0 0 0 0 0 a 0 0 0 |
                   | 0 0 0 0 d 0 0 0 0 0 c 0 0 0 0 b 0 0 0 0 0 a 0 0 |
                   | 0 d 0 0 0 0 0 c 0 0 0 0 b 0 0 0 0 0 0 a 0 0 0 0 |
                   | 0 0 d 0 0 0 0 0 c 0 0 0 0 0 b 0 0 0 a 0 0 0 0 0 |
     
                                   6
          R - module, quotient of R
     
     i3 = dumpdata "temp.data"

Go to main index.

Go to concepts index.