Home Online Manual
Top
Back: division
Forward: eliminate
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.25 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;
==> //   characteristic : 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.