File: PrintUtil.gd

package info (click to toggle)
gap-gapdoc 1.6.7-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,596 kB
  • sloc: xml: 3,502; makefile: 244; javascript: 155; sh: 3
file content (28 lines) | stat: -rw-r--r-- 848 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#############################################################################
##
#W  PrintUtil.gd                 GAPDoc                          Frank Lübeck
##
##
#Y  Copyright (C)  2000,  Frank Lübeck,  Lehrstuhl D für Mathematik,  
#Y  RWTH Aachen
##  
##  The  files PrintUtil.gd and  PrintUtil.gi contain utilities  for printing
##  objects or large amounts of data.
##

##  a filter for a bit tricky objects
DeclareFilter("IsObjToBePrinted");

DeclareGlobalFunction("PrintTo1");
DeclareGlobalFunction("AppendTo1");

##  meta `String' function for objects without String-method
DeclareGlobalFunction("StringPrint");
DeclareGlobalFunction("StringView");
DeclareGlobalFunction("StringDisplay");

##  viewing "large" objects
DeclareGlobalFunction("PrintFormattedString");
DeclareGlobalFunction("Page");
DeclareGlobalFunction("PageDisplay");