/usr/share/gap/doc/ref/chap74.html is in gap-doc 4r7p5-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 | <?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>
<title>GAP (ref) - Chapter 74: Unknowns</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="chap74" onload="jscontent()">
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chap20.html">20</a> <a href="chap21.html">21</a> <a href="chap22.html">22</a> <a href="chap23.html">23</a> <a href="chap24.html">24</a> <a href="chap25.html">25</a> <a href="chap26.html">26</a> <a href="chap27.html">27</a> <a href="chap28.html">28</a> <a href="chap29.html">29</a> <a href="chap30.html">30</a> <a href="chap31.html">31</a> <a href="chap32.html">32</a> <a href="chap33.html">33</a> <a href="chap34.html">34</a> <a href="chap35.html">35</a> <a href="chap36.html">36</a> <a href="chap37.html">37</a> <a href="chap38.html">38</a> <a href="chap39.html">39</a> <a href="chap40.html">40</a> <a href="chap41.html">41</a> <a href="chap42.html">42</a> <a href="chap43.html">43</a> <a href="chap44.html">44</a> <a href="chap45.html">45</a> <a href="chap46.html">46</a> <a href="chap47.html">47</a> <a href="chap48.html">48</a> <a href="chap49.html">49</a> <a href="chap50.html">50</a> <a href="chap51.html">51</a> <a href="chap52.html">52</a> <a href="chap53.html">53</a> <a href="chap54.html">54</a> <a href="chap55.html">55</a> <a href="chap56.html">56</a> <a href="chap57.html">57</a> <a href="chap58.html">58</a> <a href="chap59.html">59</a> <a href="chap60.html">60</a> <a href="chap61.html">61</a> <a href="chap62.html">62</a> <a href="chap63.html">63</a> <a href="chap64.html">64</a> <a href="chap65.html">65</a> <a href="chap66.html">66</a> <a href="chap67.html">67</a> <a href="chap68.html">68</a> <a href="chap69.html">69</a> <a href="chap70.html">70</a> <a href="chap71.html">71</a> <a href="chap72.html">72</a> <a href="chap73.html">73</a> <a href="chap74.html">74</a> <a href="chap75.html">75</a> <a href="chap76.html">76</a> <a href="chap77.html">77</a> <a href="chap78.html">78</a> <a href="chap79.html">79</a> <a href="chap80.html">80</a> <a href="chap81.html">81</a> <a href="chap82.html">82</a> <a href="chap83.html">83</a> <a href="chap84.html">84</a> <a href="chap85.html">85</a> <a href="chap86.html">86</a> <a href="chap87.html">87</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap73.html">[Previous Chapter]</a> <a href="chap75.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap74_mj.html">[MathJax on]</a></p>
<p><a id="X7C1FAB6280A02CCB" name="X7C1FAB6280A02CCB"></a></p>
<div class="ChapSects"><a href="chap74.html#X7C1FAB6280A02CCB">74 <span class="Heading">Unknowns</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap74.html#X85A1A27686C8D366">74.1 <span class="Heading">More about Unknowns</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap74.html#X79BAB8C48394779C">74.1-1 Unknown</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap74.html#X7B38F63581D7A96A">74.1-2 LargestUnknown</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap74.html#X828556067E069B6D">74.1-3 IsUnknown</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap74.html#X7E6B0D62788BB464">74.1-4 <span class="Heading">Comparison of Unknowns</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap74.html#X81EFCA7C82E18EFF">74.1-5 <span class="Heading">Arithmetical Operations for Unknowns</span></a>
</span>
</div></div>
</div>
<h3>74 <span class="Heading">Unknowns</span></h3>
<p>Sometimes the result of an operation does not allow further computations with it. In many cases, then an error is signalled, and the computation is stopped.</p>
<p>This is not appropriate for some applications in character theory. For example, if one wants to induce a character of a group to a supergroup (see <code class="func">InducedClassFunction</code> (<a href="chap72.html#X7FE39D3D78855D3B"><span class="RefLink">72.9-3</span></a>)) but the class fusion is only a parametrized map (see Chapter <a href="chap73.html#X7DF1ACDE7E9C6294"><span class="RefLink">73</span></a>), there may be values of the induced character which are determined by the fusion map, whereas other values are not known.</p>
<p>For this and other situations, <strong class="pkg">GAP</strong> provides the data type <em>unknown</em>. An object of this type, further on called an <em>unknown</em>, may stand for any cyclotomic (see Chapter <a href="chap18.html#X7DFC03C187DE4841"><span class="RefLink">18</span></a>), in particular its family (see <a href="chap13.html#X846063757EC05986"><span class="RefLink">13.1</span></a>) is <code class="code">CyclotomicsFamily</code>.</p>
<p>Unknowns are parametrized by positive integers. When a <strong class="pkg">GAP</strong> session is started, no unknowns exist.</p>
<p>The only ways to create unknowns are to call the function <code class="func">Unknown</code> (<a href="chap74.html#X79BAB8C48394779C"><span class="RefLink">74.1-1</span></a>) or a function that calls it, or to do arithmetical operations with unknowns.</p>
<p><strong class="pkg">GAP</strong> objects containing unknowns will contain <em>fixed</em> unknowns when they are printed to files, i.e., function calls <code class="code">Unknown(</code><span class="SimpleMath">n</span><code class="code">)</code> instead of <code class="code">Unknown()</code>. So be careful to read files printed in different <strong class="pkg">GAP</strong> sessions, since there may be the same unknown at different places.</p>
<p>The rest of this chapter contains information about the unknown constructor, the category, and comparison of and arithmetical operations for unknowns. More is not known about unknowns in <strong class="pkg">GAP</strong>.</p>
<p><a id="X85A1A27686C8D366" name="X85A1A27686C8D366"></a></p>
<h4>74.1 <span class="Heading">More about Unknowns</span></h4>
<p><a id="X79BAB8C48394779C" name="X79BAB8C48394779C"></a></p>
<h5>74.1-1 Unknown</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Unknown</code>( [<var class="Arg">n</var>] )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Called without argument, <code class="func">Unknown</code> returns a new unknown value, i.e., the first one that is larger than all unknowns which exist in the current <strong class="pkg">GAP</strong> session.</p>
<p>Called with a positive integer <var class="Arg">n</var>, <code class="func">Unknown</code> returns the <var class="Arg">n</var>-th unknown; if this did not exist yet, it is created.</p>
<p><a id="X7B38F63581D7A96A" name="X7B38F63581D7A96A"></a></p>
<h5>74.1-2 LargestUnknown</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ LargestUnknown</code></td><td class="tdright">( global variable )</td></tr></table></div>
<p><code class="func">LargestUnknown</code> is the largest <var class="Arg">n</var> that is used in any <code class="code">Unknown( <var class="Arg">n</var> )</code> in the current <strong class="pkg">GAP</strong> session. This is used in <code class="func">Unknown</code> (<a href="chap74.html#X79BAB8C48394779C"><span class="RefLink">74.1-1</span></a>) which increments this value when asked to make a new unknown.</p>
<p><a id="X828556067E069B6D" name="X828556067E069B6D"></a></p>
<h5>74.1-3 IsUnknown</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsUnknown</code>( <var class="Arg">obj</var> )</td><td class="tdright">( category )</td></tr></table></div>
<p>is the category of unknowns in <strong class="pkg">GAP</strong>.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Unknown(); List( [ 1 .. 20 ], i -> Unknown() );;</span>
Unknown(1)
<span class="GAPprompt">gap></span> <span class="GAPinput">Unknown(); # note that we have already created 21 unknowns.</span>
Unknown(22)
<span class="GAPprompt">gap></span> <span class="GAPinput">Unknown(2000); Unknown();</span>
Unknown(2000)
Unknown(2001)
<span class="GAPprompt">gap></span> <span class="GAPinput">LargestUnknown;</span>
2001
<span class="GAPprompt">gap></span> <span class="GAPinput">IsUnknown( Unknown ); IsUnknown( Unknown() );</span>
false
true
</pre></div>
<p><a id="X7E6B0D62788BB464" name="X7E6B0D62788BB464"></a></p>
<h5>74.1-4 <span class="Heading">Comparison of Unknowns</span></h5>
<p>Unknowns can be <em>compared</em> via <code class="code">=</code> and <code class="code"><</code> with all cyclotomics and with certain other <strong class="pkg">GAP</strong> objects (see <a href="chap4.html#X7A274A1F8553B7E6"><span class="RefLink">4.12</span></a>). We have <code class="code">Unknown( <var class="Arg">n</var> ) >= Unknown( <var class="Arg">m</var> )</code> if and only if <code class="code"><var class="Arg">n</var> >= <var class="Arg">m</var></code> holds, unknowns are larger than all cyclotomics that are not unknowns.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Unknown() >= Unknown(); Unknown(2) < Unknown(3);</span>
false
true
<span class="GAPprompt">gap></span> <span class="GAPinput">Unknown() > 3; Unknown() > E(3);</span>
true
true
<span class="GAPprompt">gap></span> <span class="GAPinput">Unknown() > Z(8); Unknown() > [];</span>
false
false
</pre></div>
<p><a id="X81EFCA7C82E18EFF" name="X81EFCA7C82E18EFF"></a></p>
<h5>74.1-5 <span class="Heading">Arithmetical Operations for Unknowns</span></h5>
<p>The usual arithmetic operations <code class="code">+</code>, <code class="code">-</code>, <code class="code">*</code> and <code class="code">/</code> are defined for addition, subtraction, multiplication and division of unknowns and cyclotomics. The result will be a new unknown except in one of the following cases.</p>
<p>Multiplication with zero yields zero, and multiplication with one or addition of zero yields the old unknown. <em>Note</em> that division by an unknown causes an error, since an unknown might stand for zero.</p>
<p>As unknowns are cyclotomics, dense lists of unknowns and other cyclotomics are row vectors and they can be added and multiplied in the usual way. Consequently, lists of such row vectors of equal length are (ordinary) matrices (see <code class="func">IsOrdinaryMatrix</code> (<a href="chap24.html#X7CF42B8A845BC6A9"><span class="RefLink">24.2-2</span></a>)).</p>
<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap73.html">[Previous Chapter]</a> <a href="chap75.html">[Next Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chap20.html">20</a> <a href="chap21.html">21</a> <a href="chap22.html">22</a> <a href="chap23.html">23</a> <a href="chap24.html">24</a> <a href="chap25.html">25</a> <a href="chap26.html">26</a> <a href="chap27.html">27</a> <a href="chap28.html">28</a> <a href="chap29.html">29</a> <a href="chap30.html">30</a> <a href="chap31.html">31</a> <a href="chap32.html">32</a> <a href="chap33.html">33</a> <a href="chap34.html">34</a> <a href="chap35.html">35</a> <a href="chap36.html">36</a> <a href="chap37.html">37</a> <a href="chap38.html">38</a> <a href="chap39.html">39</a> <a href="chap40.html">40</a> <a href="chap41.html">41</a> <a href="chap42.html">42</a> <a href="chap43.html">43</a> <a href="chap44.html">44</a> <a href="chap45.html">45</a> <a href="chap46.html">46</a> <a href="chap47.html">47</a> <a href="chap48.html">48</a> <a href="chap49.html">49</a> <a href="chap50.html">50</a> <a href="chap51.html">51</a> <a href="chap52.html">52</a> <a href="chap53.html">53</a> <a href="chap54.html">54</a> <a href="chap55.html">55</a> <a href="chap56.html">56</a> <a href="chap57.html">57</a> <a href="chap58.html">58</a> <a href="chap59.html">59</a> <a href="chap60.html">60</a> <a href="chap61.html">61</a> <a href="chap62.html">62</a> <a href="chap63.html">63</a> <a href="chap64.html">64</a> <a href="chap65.html">65</a> <a href="chap66.html">66</a> <a href="chap67.html">67</a> <a href="chap68.html">68</a> <a href="chap69.html">69</a> <a href="chap70.html">70</a> <a href="chap71.html">71</a> <a href="chap72.html">72</a> <a href="chap73.html">73</a> <a href="chap74.html">74</a> <a href="chap75.html">75</a> <a href="chap76.html">76</a> <a href="chap77.html">77</a> <a href="chap78.html">78</a> <a href="chap79.html">79</a> <a href="chap80.html">80</a> <a href="chap81.html">81</a> <a href="chap82.html">82</a> <a href="chap83.html">83</a> <a href="chap84.html">84</a> <a href="chap85.html">85</a> <a href="chap86.html">86</a> <a href="chap87.html">87</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
|