|
5.1.26 dump
Syntax:
dump ( link_expression )
Type:
- none
Purpose:
- dumps (i.e., writes in a "message" or "block") the state of the SINGULAR
session (i.e., all defined variables and their values) to the specified
link (which must be either an ASCII or ssi link) such that a
getdump can retrieve it later on.
Example:
| ring r;
// write the whole session to the file dump.ascii
// in ASCII format
dump(":w dump.ascii");
kill r; // kill the basering
// reread the session from the file
// redefining everything which was not explicitly killed before
getdump("dump.ascii");
==> // ** redefining stdfglm (load("standard.lib","try");)
==> // ** redefining stdfglm (load("standard.lib","try");)
==> // ** redefining stdhilb (load("standard.lib","try");)
==> // ** redefining stdhilb (load("standard.lib","try");)
==> // ** redefining quotientList (load("standard.lib","try");)
==> // ** redefining quotientList (load("standard.lib","try");)
==> // ** redefining par2varRing (load("standard.lib","try");)
==> // ** redefining par2varRing (load("standard.lib","try");)
==> // ** redefining hilbRing (load("standard.lib","try");)
==> // ** redefining hilbRing (load("standard.lib","try");)
==> // ** redefining qslimgb (load("standard.lib","try");)
==> // ** redefining qslimgb (load("standard.lib","try");)
==> // ** redefining groebner (load("standard.lib","try");)
==> // ** redefining groebner (load("standard.lib","try");)
==> // ** redefining res (load("standard.lib","try");)
==> // ** redefining res (load("standard.lib","try");)
==> // ** redefining quot (load("standard.lib","try");)
==> // ** redefining quot (load("standard.lib","try");)
==> // ** redefining quot1 (load("standard.lib","try");)
==> // ** redefining quotient0 (load("standard.lib","try");)
==> // ** redefining quotient1 (load("standard.lib","try");)
==> // ** redefining quotient1 (load("standard.lib","try");)
==> // ** redefining quotient2 (load("standard.lib","try");)
==> // ** redefining quotient2 (load("standard.lib","try");)
==> // ** redefining quotient3 (load("standard.lib","try");)
==> // ** redefining quotient3 (load("standard.lib","try");)
==> // ** redefining quotient5 (load("standard.lib","try");)
==> // ** redefining quotient5 (load("standard.lib","try");)
==> // ** redefining quotient4 (load("standard.lib","try");)
==> // ** redefining quotient4 (load("standard.lib","try");)
==> // ** redefining intersect1 (load("standard.lib","try");)
==> // ** redefining sprintf (load("standard.lib","try");)
==> // ** redefining sprintf (load("standard.lib","try");)
==> // ** redefining printf (load("standard.lib","try");)
==> // ** redefining printf (load("standard.lib","try");)
==> // ** redefining fprintf (load("standard.lib","try");)
==> // ** redefining fprintf (load("standard.lib","try");)
==> // ** redefining weightKB (load("standard.lib","try");)
==> // ** redefining weightKB (load("standard.lib","try");)
==> // ** redefining datetime (load("standard.lib","try");)
==> // ** redefining datetime (load("standard.lib","try");)
==> // ** redefining kbclass (load("standard.lib","try");)
==> // ** redefining delkbclass (load("standard.lib","try");)
==> // ** redefining kbprepare (load("standard.lib","try");)
==> // ** redefining checkww (load("standard.lib","try");)
==> // ** redefining widkbase (load("standard.lib","try");)
==> // ** redefining weightmon (load("standard.lib","try");)
==> // ** redefining max (load("standard.lib","try");)
==> // ** redefining max (load("standard.lib","try");)
==> // ** redefining min (load("standard.lib","try");)
==> // ** redefining min (load("standard.lib","try");)
==> // ** redefining mod_init (load("standard.lib","try");)
r;
==> // coefficients: ZZ/32003
==> // number of vars : 3
==> // block 1 : ordering dp
==> // : names x y z
==> // block 2 : ordering C
|
Restrictions:
- For ASCII links, integer matrices contained in lists are dumped as
integer list elements (and not as integer matrices), and lists of lists
are dumped as one flatted list. Furthermore, links
themselves are not dumped.
See
getdump;
link;
write.
|