Quelle chap6_mj.html Sprache: HTML

products/sources/formale Sprachen/GAP/pkg/browse/doc/chap6_mj.html

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<script type="text/javascript"
 src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (Browse) - Chapter 6: Examples of Applications based on NCurses.BrowseGeneric
</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap6" onload="jscontent()">

<div class="chlinktop">Goto Chapter: <a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chapA_mj.html">A</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap5_mj.html">[Previous Chapter]</a> <a href="chapA_mj.html">[Next Chapter]</a> </div>

<a href="chap6.html">[MathJax off]</a>
<a id="X78D4F8EA79405AF9" name="X78D4F8EA79405AF9"></a>
<div class="ChapSects"><a href="chap6_mj.html#X78D4F8EA79405AF9">6 Examples of Applications based on <code class="code">NCurses.BrowseGeneric</code>
</a>
<div class="ContSect"> <a href="chap6_mj.html#X813F90F7815AB5B3">6.1 The Operation <code class="code">Browse</code></a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1 Browse</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7F6EE19480D10E2B">6.2 Matrix Display</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X8295F85D87118C83">6.2-1 NCurses.BrowseDenseList</a>
 <a href="chap6_mj.html#X7AD78A0B7BEDBB20">6.2-2 Browse</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X8720923F7FDE5223">6.3 Character Table Display</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X870C744182073CF6">6.3-1 Browse</a>
 <a href="chap6_mj.html#X7D80A56D853C9655">6.3-2 BrowseDecompositionMatrix</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X80E9A03780DE8891">6.4 Table of Marks Display</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7F4BD9C580BBBAA4">6.4-1 Browse</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X80370827793813FD">6.5 Table of Contents of AtlasRep</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X8411AF928194C5AB">6.5-1 BrowseAtlasInfo</a>

</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7CF999297B331E01">6.6 Access to GAP Manuals–a Variant</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7D79DF9181A15EDF">6.6-1 BrowseGapManuals</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X846751CC7F54F51D">6.7 Overview of Bibliographies</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7F0FE4CC7F46ABF3">6.7-1 BrowseBibliography</a>
 <a href="chap6_mj.html#X7E4B5E277D08987B">6.7-2 BrowseBibliographyGapPackages</a>
 <a href="chap6_mj.html#X81F1558678ACDB4A">6.7-3 BrowseMSC</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X837BDF547FF0EA31">6.8 Profiling GAP functions–a Variant</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7B42091982DE7AE7">6.8-1 BrowseProfile</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X87B30F7387C0E531">6.9 Variables defined in GAP packages–a Variant</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X8030B1688335783D">6.9-1 BrowsePackageVariables</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7CD025147D528741">6.10 Configuring User preferences–a Variant</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7A7B712E7A06449F">6.10-1 BrowseUserPreferences</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X86C730A07855238D">6.11 Overview of GAP Data</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X850C786C87A4877B">6.11-1 BrowseGapData</a>
 <a href="chap6_mj.html#X7FC24FCE7A0C6058">6.11-2 BrowseGapDataAdd</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7E3FDA927E62D963">6.12 Navigating in a Directory Tree</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X859682DE8397261E">6.12-1 BrowseDirectory</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7FAE33037D09CC4E">6.13 A Puzzle</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7EF5FCBD7DAFFAF3">6.13-1 BrowsePuzzle</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7FFF943D78A403C9">6.14 Peg Solitaire</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X82C8691380FCB674">6.14-1 PegSolitaire</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X862CB73B7E0BE170">6.15 Rubik's Cube

<div class="ContSSBlock">
 <a href="chap6_mj.html#X8100659E81FFE9A2">6.15-1 BrowseRubiksCube</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7ADD618186541123">6.16 Changing Sides</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7FCFC5858584F46E">6.16-1 BrowseChangeSides</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7DDE46668321B5E9">6.17 Sudoku</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X789D3D4C818F4BC2">6.17-1 Sudoku.Init</a>
 <a href="chap6_mj.html#X86A5C6CE79DD67EE">6.17-2 Sudoku.Place</a>
 <a href="chap6_mj.html#X8401B31A879F9F9F">6.17-3 Sudoku.RandomGame</a>
 <a href="chap6_mj.html#X86917AC57C25A68F">6.17-4 Sudoku.SimpleDisplay</a>
 <a href="chap6_mj.html#X81F98C6C7C8415AB">6.17-5 Sudoku.DisplayString</a>
 <a href="chap6_mj.html#X7C73C6D08293B3B8">6.17-6 Sudoku.OneSolution</a>
 <a href="chap6_mj.html#X865DDBDC7E16217F">6.17-7 Sudoku.UniqueSolution</a>
 <a href="chap6_mj.html#X7D19224478E86BB4">6.17-8 PlaySudoku</a>
 <a href="chap6_mj.html#X804D66D67B908F30">6.17-9 Sudoku.HTMLGame</a>
</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X78E8DF8381626623">6.18 Managing simple Workflows</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X7E47FC2378C276C6">6.18-1 BrowseWizard</a>

</div></div>
<div class="ContSect"> <a href="chap6_mj.html#X7BCE1AE37EFCE91D">6.19 Utility for GAP Demos</a>

<div class="ContSSBlock">
 <a href="chap6_mj.html#X80F418C5835C62BA">6.19-1 LoadDemoFile</a>
</div></div>
</div>

<h3>6 Examples of Applications based on <code class="code">NCurses.BrowseGeneric</code>
</h3>

This chapter introduces the operation <code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) and lists several examples how the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) can be utilized for rendering GAP related data or for playing games. Each section describes the relevant GAP functions and briefly sketches the technical aspects of the implementation; more details can be found in the GAP files, in the <code class="file">app</code> directory of the package.

Only Section <a href="chap6_mj.html#X80E9A03780DE8891">6.4</a> describes a standard application in the sense of the introduction to Chapter <a href="chap4_mj.html#X877E60DE7F53FDEC">4</a>, perhaps except for a special function that is needed to compare table entries. The other examples in this chapter require some of the programming described in Chapter <a href="chap5_mj.html#X82DDDC1783B4CA30">5</a>.

The GAP examples in this chapter use the "replay" feature of <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>), see Section <a href="chap4_mj.html#X869EDB308717F199">4.1</a>. This means that the <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) based function is called between two calls of <code class="func">BrowseData.SetReplay</code> (<a href="chap5_mj.html#X791FB5BA7A9951F4">5.4-2</a>). If you want to paste these examples into the GAP session with the mouse then do not paste the final <code class="func">BrowseData.SetReplay</code> (<a href="chap5_mj.html#X791FB5BA7A9951F4">5.4-2</a>) call, since <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) would regard the additional input as a user interrupt.

<a id="X813F90F7815AB5B3" name="X813F90F7815AB5B3"></a>

<h4>6.1 The Operation <code class="code">Browse</code></h4>

<a id="X7FDD696B7DD54A6E" name="X7FDD696B7DD54A6E"></a>

<h5>6.1-1 Browse</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Browse</code>( <var class="Arg">obj</var>[, <var class="Arg">arec</var>] )</td><td class="tdright">( operation )</td></tr></table></div>
This operation displays the GAP object <var class="Arg">obj</var> in a nice, formatted way, similar to the operation <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>). The difference is that <code class="func">Browse</code> is intended to use <code class="code">ncurses</code> facilities.

Currently there are methods for matrices (see <code class="func">Browse</code> (<a href="chap6_mj.html#X7AD78A0B7BEDBB20">6.2-2</a>)), for character tables (see <code class="func">Browse</code> (<a href="chap6_mj.html#X870C744182073CF6">6.3-1</a>)) and for tables of marks (see <code class="func">Browse</code> (<a href="chap6_mj.html#X7F4BD9C580BBBAA4">6.4-1</a>)).

<a id="X7F6EE19480D10E2B" name="X7F6EE19480D10E2B"></a>

<h4>6.2 Matrix Display</h4>

The GAP library provides several <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>) methods for matrices. In order to cover the functionality of these methods, Browse provides the function <code class="func">NCurses.BrowseDenseList</code> (<a href="chap6_mj.html#X8295F85D87118C83">6.2-1</a>) that uses the standard facilities of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>), i. e., one can scroll in the matrix, searching and sorting are provided etc.

The idea is to customize this function for different special cases, and to install corresponding <code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) methods. Examples are methods for matrices over finite fields and residue class rings of the rational integers, see <code class="func">Browse</code> (<a href="chap6_mj.html#X7AD78A0B7BEDBB20">6.2-2</a>).

The code can be found in the file <code class="file">app/matdisp.g</code> of the package.

<a id="X8295F85D87118C83" name="X8295F85D87118C83"></a>

<h5>6.2-1 NCurses.BrowseDenseList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ NCurses.BrowseDenseList</code>( <var class="Arg">list</var>, <var class="Arg">arec</var> )</td><td class="tdright">( function )</td></tr></table></div>
Returns: nothing.

Let <var class="Arg">list</var> be a dense list whose entries are lists, for example a matrix, and let <var class="Arg">arec</var> be a record. This function displays <var class="Arg">list</var> in a window, as a two-dimensional array with row and column positions as row and column labels, respectively.

The following components of <var class="Arg">arec</var> are supported.

<dl>
<dt><code class="code">header</code></dt>
<dd>If bound, the value must be a valid value of the <code class="code">work.header</code> component of a browse table, see <code class="func">BrowseData.IsBrowseTable</code> (<a href="chap4_mj.html#X81007E2F8552523B">4.2-3</a>); for example, the value can be a list of strings. If this component is not bound then the browse table has no header.

</dd>
<dt><code class="code">footer</code></dt>
<dd>If bound, the value must be a valid value of the <code class="code">work.footer</code> component of a browse table, see <code class="func">BrowseData.IsBrowseTable</code> (<a href="chap4_mj.html#X81007E2F8552523B">4.2-3</a>); for example, the value can be a list of strings. If this component is not bound then the browse table has no footer.

</dd>
<dt><code class="code">convertEntry</code></dt>
<dd>If bound, the value must be a unary function that returns a string describing its argument. The default is the operation <code class="func">String</code> (<a href="../../../doc/ref/chap27_mj.html#X81FB5BE27903EC32">Reference: String</a>). Another possible value is <code class="code">NCurses.ReplaceZeroByDot</code>, which returns the string <code class="code">"."</code> if the argument is a zero element in the sense of <code class="func">IsZero</code> (<a href="../../../doc/ref/chap31_mj.html#X82BDA47282F9BBA7">Reference: IsZero</a>), and returns the <code class="func">String</code> (<a href="../../../doc/ref/chap27_mj.html#X81FB5BE27903EC32">Reference: String</a>) value otherwise. For each entry in a row of <var class="Arg">list</var>, the <code class="code">convertEntry</code> value is shown in the browse table.

</dd>
<dt><code class="code">labelsRow</code></dt>
<dd>If bound, the value must be a list of row label rows for <var class="Arg">list</var>, as described in Section <code class="func">BrowseData.IsBrowseTable</code> (<a href="chap4_mj.html#X81007E2F8552523B">4.2-3</a>). The default is <code class="code">[ [ "1" ], [ "2" ], ... ]</code>.

</dd>
<dt><code class="code">labelsCol</code></dt>
<dd>If bound, the value must be a list of column label rows for <var class="Arg">list</var>, as described in Section <code class="func">BrowseData.IsBrowseTable</code> (<a href="chap4_mj.html#X81007E2F8552523B">4.2-3</a>). The default is <code class="code">[ [ "1", "2", ... ] ]</code>.

</dd>
</dl>
The full functionality of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) is available.

<a id="X7AD78A0B7BEDBB20" name="X7AD78A0B7BEDBB20"></a>

<h5>6.2-2 Browse</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Browse</code>( <var class="Arg">list</var> )</td><td class="tdright">( method )</td></tr></table></div>
Returns: nothing.

Several methods for the operation <code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) are installed for the case that the argument is a list of lists. These methods cover a default method for lists of lists and the <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>) methods for matrices over finite fields and residue class rings of the rational integers. Note that matrices over finite prime fields, small extension fields, and large extension fields are displayed differently, and the same holds for the corresponding <code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) methods.

<div class="example"><pre>
gap> n:= [ 14, 14, 14, 14 ];;
gap> input:= Concatenation( n, n, n, "Q" );; # ``do nothing and quit''
gap> BrowseData.SetReplay( input );
gap> Browse( RandomMat( 10, 10, Integers ) );
gap> BrowseData.SetReplay( input );
gap> Browse( RandomMat( 10, 10, GF(3) ) );
gap> BrowseData.SetReplay( input );
gap> Browse( RandomMat( 10, 10, GF(4) ) );
gap> BrowseData.SetReplay( input );
gap> Browse( RandomMat( 10, 10, Integers mod 6 ) );
gap> BrowseData.SetReplay( input );
gap> Browse( RandomMat( 10, 10, GF( NextPrimeInt( 2^16 ) ) ) );
gap> BrowseData.SetReplay( input );
gap> Browse( RandomMat( 10, 10, GF( 2^20 ) ) );
gap> BrowseData.SetReplay( false );
</pre></div>

<a id="X8720923F7FDE5223" name="X8720923F7FDE5223"></a>

<h4>6.3 Character Table Display</h4>

The GAP library provides a <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>) method for character tables that breaks the table into columns fitting on the screen. Browse provides an alternative, using the standard facilities of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>), i. e., one can scroll in the matrix of character values, searching and sorting are provided etc.

The <code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) method for character tables can be called instead of <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>). For convenience, one can additionally make this function the default <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>) method for character tables, by assigning it to the <code class="code">Display</code> component in the global record <code class="code">CharacterTableDisplayDefaults.User</code>, see <a href="../../../doc/ref/chap71_mj.html#X7C1941F17BE9FC21">Reference: Printing Character Tables</a>; for example, one can do this in one's gaprc file, see Reference: The gap.ini and gaprc files. (This can be undone by unbinding the component CharacterTableDisplayDefaults.User.Display.)

The function <code class="func">BrowseDecompositionMatrix</code> (<a href="chap6_mj.html#X7D80A56D853C9655">6.3-2</a>) can be used to display decomposition matrices for Brauer character tables.

<a id="X870C744182073CF6" name="X870C744182073CF6"></a>

<h5>6.3-1 Browse</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Browse</code>( <var class="Arg">tbl</var>[, <var class="Arg">options</var>] )</td><td class="tdright">( method )</td></tr></table></div>
This method displays the character table <var class="Arg">tbl</var> in a window. The optional record <var class="Arg">options</var> describes what shall be displayed, the supported components and the default values are described in <a href="../../../doc/ref/chap71_mj.html#X7C1941F17BE9FC21">Reference: Printing Character Tables</a>.

The full functionality of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) is available.

<div class="example"><pre>
gap> if TestPackageAvailability( "CTblLib" ) = true then
> BrowseData.SetReplay( Concatenation(
> # scroll in the table
> "DRULdddddrrrrrlluu",
> # select an entry and move it around
> "seddrruuuddlll",
> # search for the pattern 135 (six times)
> "/135", [ NCurses.keys.ENTER ], "nnnnn",
> # deselect the entry, select the first column
> "qLsc",
> # sort and categorize by this column
> "sc",
> # select the first row, move down the selection
> "srdddd",
> # expand the selected category, scroll the selection down
> "xd",
> # and quit the application
> "Q" ) );
> Browse( CharacterTable( "HN" ) );
> BrowseData.SetReplay( false );
> fi;
</pre></div>

Implementation remarks: The first part of the code in the <code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) method for character tables is almost identical with the code for extracting the data to be displayed from the input data in the GAP library function <code class="code">CharacterTableDisplayDefault</code>. The second part of the code transforms these data into a browse table. Character names and (if applicable) indicator values are used as row labels, and centralizer orders, power maps, and class names are used as column labels. The identifier of the table is used as the static header. When an irrational entry is selected, a description of this entry is shown in the dynamic footer.

The standard modes in <code class="func">BrowseData</code> (<a href="chap5_mj.html#X86E80E578085F137">5.4-1</a>) (except the <code class="code">help</code> mode) have been extended by three new actions. The first two of them open pagers giving an overview of all irrationalities in the table, or of all those irrationalities that have been shown on the screen in the current call, respectively. The corresponding user inputs are the I and the i key. (The names assigned to the irrationalities are generated column-wise. If one just scrolls through the table, without jumping, then these names coincide with the names generated by the default <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>) method for character tables; this is in general not the case, for example when a row-wise search in the table is performed.) The third new action, which is associated with the p key, toggles the visibility status of the column label rows for centralizer orders and power maps.

An individual <code class="code">minyx</code> function does not only check whether the desired table fits into the window but also whether a table with too high column labels (centralizer orders and power maps) would fit if these labels get collapsed via the p key. In this case, the labels are automatically collapsed, and the p key is disabled.

In order to keep the required space small also for large character tables, caching of formatted matrix entries is disabled, and the strings to be displayed are computed on demand with a <code class="code">Main</code> function in the <code class="code">work</code> component of the browse table. For the same reason, the constant height one for all table rows is set in advance, so one need not inspect a whole character if only a few values of it shall be shown.

Special functions are provided for sorting (concerning the comparison of character values, which can be integers or irrationalities) and categorizing the table by a column (the value in the category row involves the class name of the column in question).

The code can be found in the file <code class="file">app/ctbldisp.g</code> of the package.

<a id="X7D80A56D853C9655" name="X7D80A56D853C9655"></a>

<h5>6.3-2 BrowseDecompositionMatrix</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ BrowseDecompositionMatrix</code>( <var class="Arg">modtbl</var>[, <var class="Arg">b</var>][, <var class="Arg">options</var>] )</td><td class="tdright">( function )</td></tr></table></div>
This method displays the decomposition matrix of (the <var class="Arg">b</var>-th block of) the Brauer character table <var class="Arg">modtbl</var> in a window. The arguments are the same as for <code class="func">LaTeXStringDecompositionMatrix</code> (<a href="../../../doc/ref/chap71_mj.html#X83EC921380AF9B3B">Reference: LaTeXStringDecompositionMatrix</a>).

The positions of the ordinary and modular irreducible characters are shown in the labels of the rows and columns, respectively, that are indexed by these characters. When an entry in the decomposition matrix is selected then information about the degrees of these characters is shown in the table footer.

The full functionality of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) is available.

<div class="example"><pre>
gap> BrowseData.SetReplay( Concatenation(
> # select the first entry
> "se",
> # scroll in the table
> "drrrr",
> # keep the table open for a while
> [ 14, 14, 14, 14, 14 ],
> # and quit the application
> "Q" ) );
gap> BrowseDecompositionMatrix( CharacterTable( "J1" ) mod 2 );
gap> BrowseData.SetReplay( false );
</pre></div>

The code can be found in the file <code class="file">app/ctbldisp.g</code> of the package.

<a id="X80E9A03780DE8891" name="X80E9A03780DE8891"></a>

<h4>6.4 Table of Marks Display</h4>

The GAP library provides a <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>) method for tables of marks that breaks the table into columns fitting on the screen. Similar to the situation with character tables, see Section <a href="chap6_mj.html#X8720923F7FDE5223">6.3</a>, but with a much simpler implementation, Browse provides an alternative based on the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>).

<code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) can be called instead of <code class="func">Display</code> (<a href="../../../doc/ref/chap6_mj.html#X83A5C59278E13248">Reference: Display</a>) for tables of marks, cf. <a href="../../../doc/ref/chap70_mj.html#X7AC0FB9685DCBCFD">Reference: Printing Tables of Marks</a>.

<a id="X7F4BD9C580BBBAA4" name="X7F4BD9C580BBBAA4"></a>

<h5>6.4-1 Browse</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Browse</code>( <var class="Arg">tom</var>[, <var class="Arg">options</var>] )</td><td class="tdright">( method )</td></tr></table></div>
This method displays the table of marks <var class="Arg">tom</var> in a window. The optional record <var class="Arg">options</var> describes what shall be displayed, the supported components and the default values are described in <a href="../../../doc/ref/chap70_mj.html#X7AC0FB9685DCBCFD">Reference: Printing Tables of Marks</a>.

The full functionality of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) is available.

<div class="example"><pre>
gap> if TestPackageAvailability( "TomLib" ) = true then
> BrowseData.SetReplay( Concatenation(
> # scroll in the table
> "DDRRR",
> # search for the (exact) value 100 (three times)
> "/100",
> [ NCurses.keys.DOWN, NCurses.keys.DOWN, NCurses.keys.RIGHT ],
> [ NCurses.keys.DOWN, NCurses.keys.DOWN, NCurses.keys.DOWN ],
> [ NCurses.keys.RIGHT, NCurses.keys.ENTER ], "nn",
> # no more occurrences of 100, confirm
> [ NCurses.keys.ENTER ],
> # and quit the application
> "Q" ) );
> Browse( TableOfMarks( "A10" ) );
> BrowseData.SetReplay( false );
> fi;
</pre></div>

Implementation remarks: Rows and columns are indexed by their positions. The identifier of the table is used as the static header, there is no footer.

In order to keep the required space small also for large tables of marks, caching of formatted matrix entries is disabled, and the strings to be displayed are computed on demand with a <code class="code">Main</code> function in the <code class="code">work</code> component of the browse table. For the same reason, the constant height one for the table rows is set in advance. (For example, the table of marks of the group with identifier <code class="code">"O8+(2)"</code>, with \(11171\) rows and columns, can be shown with <code class="func">Browse</code> (<a href="chap6_mj.html#X7FDD696B7DD54A6E">6.1-1</a>) in a GAP session requiring about \(100\) MB.)

The code can be found in the file <code class="file">app/tomdisp.g</code> of the package.

<a id="X80370827793813FD" name="X80370827793813FD"></a>

<h4>6.5 Table of Contents of AtlasRep</h4>

The GAP package AtlasRep (see <a href="chapBib_mj.html#biBAtlasRep">[WPN+19]</a>) is an interface to a database of representations and related data. The table of contents of this database can be displayed via the function <code class="func">DisplayAtlasInfo</code> (<a href="../../../pkg/atlasrep/doc/chap3_mj.html#X79DACFFA7E2D1A99">AtlasRep: DisplayAtlasInfo</a>) of this package. The Browse package provides an alternative based on the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>); one can scroll, search, and fetch data for later use.

<a id="X8411AF928194C5AB" name="X8411AF928194C5AB"></a>

<h5>6.5-1 BrowseAtlasInfo</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ BrowseAtlasInfo</code>( [<var class="Arg">listofnames</var>][,] [<var class="Arg">"contents"</var>, <var class="Arg">sources</var>][,] [<var class="Arg">...</var>] )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ BrowseAtlasInfo</code>( <var class="Arg">gapname</var>[, <var class="Arg">std</var>][, <var class="Arg">...</var>] )</td><td class="tdright">( function )</td></tr></table></div>
Returns: the list of "clicked" info records.

This function shows the information available via the GAP package AtlasRep in a browse table, cf. Section <a href="../../../pkg/atlasrep/doc/chap3_mj.html#X7CC88B2287A72204">AtlasRep: Accessing Data via AtlasRep</a> in the AtlasRep manual.

The optional arguments can be used to restrict the table to core data or data extensions, or to show an overview for one particular group. The arguments are the same as for <code class="func">DisplayAtlasInfo</code> (<a href="../../../pkg/atlasrep/doc/chap3_mj.html#X79DACFFA7E2D1A99">AtlasRep: DisplayAtlasInfo</a>), see the documentation of this function for details. (Note that additional conditions such as <code class="func">IsPermGroup</code> (<a href="../../../doc/ref/chap43_mj.html#X7879877482F59676">Reference: IsPermGroup</a>) can be entered also in the case that no <var class="Arg">gapname</var> is given. In this situation, the additional conditions are evaluated for the "second level tables" that are opened by "clicking" on a table row or entry.)

When one "clicks" on one of the table rows or entries then a browse table with an overview of the information available for this group is shown, and "clicking" on one of the rows in these tables adds the corresponding info record (see <code class="func">OneAtlasGeneratingSetInfo</code> (<a href="../../../pkg/atlasrep/doc/chap3_mj.html#X841478AB7CD06D44">AtlasRep: OneAtlasGeneratingSetInfo</a>)) to the list of return values of <code class="func">BrowseAtlasInfo</code>.

The full functionality of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) is available.

The following example shows how <code class="func">BrowseAtlasInfo</code> can be used to fetch info records about permutation representations of the alternating groups \(A_5\) and \(A_6\): We search for the group name <code class="code">"A5"</code> in the overview table, and the first cell in the table row for \(A_5\) becomes selected; hitting the Enter key causes a new window to be opened, with an overview of the data available for \(A_5\); moving down two rows and hitting the Enter key again causes the second representation to be added to the result list; hitting Q closes the second window, and we are back in the overview table; we move the selection down twice (to the row for the group \(A_6\)), and choose the first representation for this group; finally we leave the table, and the return value is the list with the data for the two representations.

<div class="example"><pre>
gap> d:= [ NCurses.keys.DOWN ];; r:= [ NCurses.keys.RIGHT ];;
gap> c:= [ NCurses.keys.ENTER ];;
gap> BrowseData.SetReplay( Concatenation(
> "/A5", # Find the string A5 ...
> d, d, r, # ... such that just the word matches,
> c, # start the search,
> c, # click the table entry A5,
> d, d, # move down two rows,
> c, # click the row for this representation,
> "Q", # quit the second level table,
> d, d, # move down two rows,
> c, # click the table entry A6,
> d, # move down one row,
> c, # click the first row,
> "Q", # quit the second level table,
> "Q" ) ); # and quit the application.
gap> if IsBound( BrowseAtlasInfo ) and IsBound( AtlasProgramInfo ) then
> SetUserPreference( "AtlasRep", "AtlasRepMarkNonCoreData", "" );
> tworeps:= BrowseAtlasInfo();
> else
> tworeps:= [ fail ];
> fi;
gap> BrowseData.SetReplay( false );
gap> if fail in tworeps then
> Print( "no access to the Web ATLAS\n" );
> else
> Print( List( tworeps, x -> x.identifier[1] ), "\n" );
> fi;
[ "A5", "A6" ]
</pre></div>

Implementation remarks: The first browse table shown has a static header, no footer and row labels, one row of column labels describing the type of data summarized in the columns.

Row and column separators are drawn as grids (cf. <code class="func">NCurses.Grid</code> (<a href="chap2_mj.html#X790715F683BF1E66">2.2-8</a>)) composed from the special characters described in Section <a href="chap2_mj.html#X8091936586CCD248">2.1-6</a>, using the component <code class="code">work.SpecialGrid</code> of the browse table, see <code class="func">BrowseData</code> (<a href="chap5_mj.html#X86E80E578085F137">5.4-1</a>).

When a row is selected, the "click" functionality opens a new window (via a second level call to <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>)), in which a browse table with the list of available data for the given group is shown; in this table, "click" results in adding the info for the selected row to the result list, and a message about this addition is shown in the footer row. One can choose further data, return to the first browse table, and perhaps iterate the process for other groups. When the first level table is left, the list of info records for the chosen data is returned.

For the two kinds of browse tables, the standard modes in <code class="func">BrowseData</code> (<a href="chap5_mj.html#X86E80E578085F137">5.4-1</a>) (except the <code class="code">help</code> mode) have been extended by a new action that opens a pager giving an overview of all data that have been chosen in the current call. The corresponding user input is the Y key.

This function is available only if the GAP package AtlasRep is available.

The code can be found in the file <code class="file">app/atlasbrowse.g</code> of the package.

<a id="X7CF999297B331E01" name="X7CF999297B331E01"></a>

<h4>6.6 Access to GAP Manuals–a Variant</h4>

A Browse adapted way to access several manuals is to show the hierarchy of books, chapters, sections, and subsections as collapsible category rows, and to regard the contents of each subsection as a data row of a matrix with only one column.

This application is mainly intended as an example with table cells that exceed the screen, and as an example with several category levels.

<a id="X7D79DF9181A15EDF" name="X7D79DF9181A15EDF"></a>

<h5>6.6-1 BrowseGapManuals</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ BrowseGapManuals</code>( [<var class="Arg">start</var>] )</td><td class="tdright">( function )</td></tr></table></div>
This function displays the contents of the GAP manuals (the main GAP manuals as well as the loaded package manuals) in a window. The optional argument <var class="Arg">start</var> describes the initial status, admissible values are the strings <code class="code">"inline/collapsed"</code>, <code class="code">"inline/expanded"</code>, <code class="code">"pager/collapsed"</code>, and <code class="code">"pager/expanded"</code>.

In the <code class="code">inline</code> cases, the parts of the manuals are shown in the browse table, and in the <code class="code">pager</code> case, the parts of the manuals are shown in a different window when they are "clicked", using the user's favourite help viewer, see Reference: Changing the Help Viewer.

In the <code class="code">collapsed</code> cases, all category rows are collapsed, and the first row is selected; typical next steps are moving down the selection and expanding single category rows. In the <code class="code">expanded</code> cases, all category rows are expanded, and nothing is selected; a typical next step in the <code class="code">inline/expanded</code> case is a search for a string in the manuals. (Note that searching in quite slow: For viewing a part of a manual, the file with the corresponding section is read into GAP, the text is formatted, the relevant part is cut out from the section, perhaps markup is stripped off, and finally the search is performed in the resulting strings.)

If no argument is given then the user is asked for selecting an initial status, using <code class="func">NCurses.Select</code> (<a href="chap3_mj.html#X833D321E86528981">3.1-2</a>).

The full functionality of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) is available.

<div class="example"><pre>
gap> n:= [ 14, 14, 14 ];; # ``do nothing''
gap> BrowseData.SetReplay( Concatenation(
> "xdxd", # expand a Tutorial section
> n, "Q" ) ); # and quit
gap> BrowseGapManuals( "inline/collapsed" );
gap> BrowseData.SetReplay( Concatenation(
> "/Browse", [ NCurses.keys.ENTER ], # search for "Browse"
> "xdxddxd", # expand a section
> n, "Q" ) ); # and quit
gap> BrowseGapManuals( "inline/collapsed" );
gap> BrowseData.SetReplay( false );
</pre></div>

Implementation remarks: The browse table has a dynamic header showing the name of the currently selected manual, no footer, no row or column labels, and exactly one column of fixed width equal to the screen width. The category rows are precomputed, i. e., they do not arise from a table column; this way, the contents of each data cell can be computed on demand, as soon as it is shown on the screen, in particular the category hierarchy is computed without reading the manuals into GAP. Also, the data rows are not cached. There is no return value. The heights of many cells are bigger than the screen height, so scrolling is a mixture of scrolling to the next cell and scrolling inside a cell. The different initial states are realized via executing different initial steps before the table is shown to the user.

For the variants that show the manuals in a pager, the code temporarily replaces the <code class="code">show</code> function of the default viewer <code class="code">"screen"</code> (see <a href="../../../doc/ref/chap2_mj.html#X863FF9087EDA8DF9">Reference: Changing the Help Viewer</a>) by a function that uses <code class="func">NCurses.Pager</code> (<a href="chap3_mj.html#X87E1B2787F588CC0">3.1-4</a>). Note that in the case that the manual bit in question fits into one screen, the default <code class="code">show</code> function writes this text directly to the screen, but this is used already by the browse table.

The implementation should be regarded as a sketch.

For example, the markup available in the text file format of GAPDoc manuals (using Esc sequences) is stripped off instead of being transferred to the attribute lines that arise, because of the highlighting problem mentioned in Section <a href="chap2_mj.html#X81D1FC927C455AEB">2.2-3</a>.

Some heuristics used in the code are due to deficiencies of the manual formats.

For the inline variant of the browse table, the titles of chapters, sections, and subsections are not regarded as parts of the actual text since they appear already as category rows; however, the functions of the GAP help system deliver the text together with these titles, so these lines must be stripped off afterwards.

The category hierarchy representing the tables of contents is created from the <code class="file">manual.six</code> files of the manuals. These files do not contain enough information for determining whether several functions define the same subsection, in the sense that there is a common description text after a series of manual lines introducing different functions. In such cases, the browse table contains a category row for each of these functions (with its own number), but the corresponding text appears only under the last of these category rows, the data rows for the others are empty. (This problem does not occur in the GAPDoc manual format because this introduces explicit subsection titles, involving only the first of several function definitions.)

Also, index entries and sectioning entries in <code class="file">manual.six</code> files of manuals in GAPDoc format are not explicitly distinguished.

The code can be found in the file <code class="file">app/manual.g</code> of the package.

<a id="X846751CC7F54F51D" name="X846751CC7F54F51D"></a>

<h4>6.7 Overview of Bibliographies</h4>

The function <code class="func">BrowseBibliography</code> (<a href="chap6_mj.html#X7F0FE4CC7F46ABF3">6.7-1</a>) can be used to turn the contents of bibliography files in BibTeX or BibXMLext format (see <a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X7FB8F6BD80D859D1">GAPDoc: The BibXMLext Format</a>) into a Browse table, such that one can scroll in the list, search for entries, sort by year, sort and categorize by authors etc.

The default bibliography used by <code class="func">BrowseBibliography</code> (<a href="chap6_mj.html#X7F0FE4CC7F46ABF3">6.7-1</a>) is the bibliography of GAP related publications, see <a href="chapBib_mj.html#biBGAPBibliography">[GAP]</a>. The Browse package contains a (perhaps outdated) version of this bibliography. One can get an updated version as follows.

<code class="code">wget -N http://www.gap-system.org/Doc/Bib/gap-publishednicer.bib</code>

The columns of the Browse table that is shown by <code class="func">BrowseBibliography</code> (<a href="chap6_mj.html#X7F0FE4CC7F46ABF3">6.7-1</a>) can be customized, two examples for that are given by the functions <code class="func">BrowseBibliographySporadicSimple</code> (<a href="../../../pkg/atlasrep/doc/chap3_mj.html#X84ED4FC182C28198">AtlasRep: BrowseBibliographySporadicSimple</a>) and <code class="func">BrowseBibliographyGapPackages</code> (<a href="chap6_mj.html#X7E4B5E277D08987B">6.7-2</a>).

The function <code class="func">BrowseMSC</code> (<a href="chap6_mj.html#X81F1558678ACDB4A">6.7-3</a>) shows an overview of the AMS Mathematics Subject Classification codes.

<a id="X7F0FE4CC7F46ABF3" name="X7F0FE4CC7F46ABF3"></a>

<h5>6.7-1 BrowseBibliography</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ BrowseBibliography</code>( [<var class="Arg">bibfiles</var>] )</td><td class="tdright">( function )</td></tr></table></div>
Returns: a record as returned by <code class="func">ParseBibXMLExtFiles</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X86BD29AE7A453721">GAPDoc: ParseBibXMLextFiles</a>).

This function shows the list of bibliography entries in the files given by <var class="Arg">bibfiles</var>, which may be a string or a list of strings (denoting a filename or a list of filenames, respectively) or a record (see below for the supported components).

If no argument is given then the file <code class="file">bibl/gap-publishednicer.bib</code> in the Browse package directory is taken, and <code class="code">"GAP Bibliography"</code> is used as the header.

Another perhaps interesting data file that should be available in the GAP distribution is <code class="file">doc/manualbib.xml</code>. This file can be located as follows.

<div class="example"><pre>
gap> file:= Filename( DirectoriesLibrary( "doc" ), "manualbib.xml" );;
</pre></div>

Both BibTeX format and the XML based extended format provided by the GAPDoc package are supported by <code class="func">BrowseBibliography</code>, see Chapter <a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X7EB94CE97ABF7192">GAPDoc: Utilities for Bibliographies</a>.

In the case of BibTeX format input, first a conversion to the extended format takes place, via <code class="func">StringBibAsXMLext</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X85F33C64787A00B7">GAPDoc: StringBibAsXMLext</a>) and <code class="func">ParseBibXMLextString</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X86BD29AE7A453721">GAPDoc: ParseBibXMLextString</a>). Note that syntactically incorrect entries are rejected in this conversion –this is signaled with <code class="func">InfoBibTools</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X85C1D50F7E37A99A">GAPDoc: InfoBibTools</a>) warnings– and that only a subset of the possible LaTeX markup is recognized –other markup appears in the browse table except that the leading backslash is removed.

In both cases of input, the problem arises that in visual mode, currently we can show only ASCII characters (and the symbols in <code class="code">NCurses.lineDraw</code>, but these are handled differently, see Section <a href="chap2_mj.html#X8091936586CCD248">2.1-6</a>). Therefore, we use the function <code class="func">SimplifiedUnicodeString</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap6_mj.html#X818A31567EB30A39">GAPDoc: SimplifiedUnicodeString</a>) for replacing other unicode characters by ASCII text.

The return value is a record as returned by <code class="func">ParseBibXMLExtFiles</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X86BD29AE7A453721">GAPDoc: ParseBibXMLextFiles</a>), its <code class="code">entries</code> component corresponds to the bibliography entries that have been "clicked" in visual mode. This record can be used as input for <code class="func">WriteBibFile</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X7C2B2F65851EAA0B">GAPDoc: WriteBibFile</a>) or <code class="func">WriteBibXMLextFile</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X7811108C7E5B1709">GAPDoc: WriteBibXMLextFile</a>), in order to produce a bibliography file, or it can be used as input for <code class="func">StringBibXMLEntry</code> (<a href="../../../pkg/GAPDoc.dev/doc/chap7_mj.html#X790A295680F7CD24">GAPDoc: StringBibXMLEntry</a>), in order to produce strings from the entries, in various formats.

The full functionality of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4_mj.html#X85FC163D87FAFD12">4.3-1</a>) is available.

<div class="example"><pre>
gap> # sort and categorize by year, scroll down, expand a category row
gap> BrowseData.SetReplay( "scrrscsedddddxdddddQ" );
gap> BrowseBibliography();;
gap> # sort & categorize by authors, expand all category rows, scroll down
gap> BrowseData.SetReplay( "scscXseddddddQ" );
gap> BrowseBibliography();;
gap> # sort and categorize by journal, search for a journal name, expand
gap> BrowseData.SetReplay( Concatenation( "scrrrsc/J. Algebra",
> [ NCurses.keys.ENTER ], "nxdddQ" ) );
gap> BrowseBibliography();;
gap> BrowseData.SetReplay( false );
</pre></div>

Implementation remarks: The browse table has a dynamic header (showing the number of entries, which can vary when the table is restricted), no footer and row labels; one row of column labels is given by the descriptions of the table columns (authors, title, year, journal, MSC code).

Row and column separators are drawn as grids (cf. <code class="func">NCurses.Grid</code> (<a href="chap2_mj.html#X790715F683BF1E66">2.2-8</a>)) composed from the special characters described in Section <a href="chap2_mj.html#X8091936586CCD248">2.1-6</a>, using the component <code class="code">work.SpecialGrid</code> of the browse table, see <code class="func">BrowseData</code> (<a href="chap5_mj.html#X86E80E578085F137">5.4-1</a>).

--> --------------------

--> maximum size reached

--> --------------------

quality100%

¤ Dauer der Verarbeitung: 0.28 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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.