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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
<Chapter Label="ch:util">
<Heading>String and Text Utilities</Heading>
<Section Label="TextUtil">
<Heading>Text Utilities</Heading>
This section describes some utility functions for handling texts within
&GAP;. They are used by the functions in the &GAPDoc; package but may be
useful for other purposes as well. We start with some variables containing
useful strings and go on with functions for parsing and reformatting text.
<P/>
<#Include Label="CharsColls">
<#Include Label="TextAttr">
<#Include Label="WrapTextAttribute">
<#Include Label="FormatParagraph">
<#Include Label="SubstitutionSublist">
<!-- moved into GAP library
<#Include Label="NormalizedWhitespace">
-->
<#Include Label="StripBeginEnd">
<#Include Label="StripEscapeSequences">
<#Include Label="RepeatedString">
<#Include Label="NumberDigits">
<#Include Label="LabelInt">
<#Include Label="PositionMatchingDelimiter">
<#Include Label="WordsString">
<#Include Label="Base64String">
</Section>
<Section Label="sec:Unicode">
<Heading>Unicode Strings</Heading>
The &GAPDoc; package provides some tools to deal with unicode characters
and strings. These can be used for recoding text strings between various
encodings.
<#Include Label="Unicode">
<#Include Label="Encode">
<#Include Label="WidthUTF8String">
<#Include Label="InitialSubstringUTF8String">
</Section>
<Section Label="PrintUtil">
<Heading>Print Utilities</Heading>
The following printing utilities turned out to be useful for interactive
work with texts in &GAP;. But they are more general and so we document them
here.
<#Include Label="PrintTo1">
<#Include Label="StringPrint">
<#Include Label="PrintFormattedString">
<#Include Label="Page">
<#Include Label="StringFile">
</Section>
</Chapter>
|
