String and Text Utilities
Text Utilities

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.

<#Include Label="CharsColls">

<#Include Label="TextAttr">

<#Include Label="WrapTextAttribute">

<#Include Label="FormatParagraph">

<#Include Label="SubstitutionSublist">

<#Include Label="StripBeginEnd">

<#Include Label="StripEscapeSequences">

<#Include Label="RepeatedString">

<#Include Label="NumberDigits">

<#Include Label="LabelInt">

<#Include Label="PositionMatchingDelimiter">

<#Include Label="WordsString">

<#Include Label="Base64String">

Unicode Strings
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">

Print Utilities

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">