This section describes some utility functions for handling texts within
⪆. 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.
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>
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.