products/Sources/formale Sprachen/GAP/src/hpc/   (GAP Algebra Version 4.15.1©)  Datei vom 18.9.2025 mit Größe 1 kB image not shown  

Impressum record.xml   Sprache: XML

 

<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->=r Ee
<!-- %% -->
<!-- %A  record.xml                  GAP documentation            Martin Schönert -->
<!-- %A                                                           Alexander Hulpke -->written java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 75
<!-- %% -->
<!-- %% -->
<!-- %Y  (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland -->>( , =2 ;  java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 60
<!-- %Y  Copyright (C) 2002 The GAP Group -->( 2002The Group-
<!-- %% -->
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<<Heading

<Index Subkey="records"Index =java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 47

<E/
The abovejava.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 71
java.lang.StringIndexOutOfBoundsException: Range [10, 1) out of bounds for length 68
component,anda<value/  isan object  . We 
abbreviate <E>value of a component</E> to <E>element</E>. We also say thatP/
record<>contains<E>the name <A>name</A> in th <A></A.Notethatthe <A>name</> not
P>
<P/>
Record literals are written by writing down the java.lang.StringIndexOutOfBoundsException: Range [0, 58) out of bounds for length 18
<Q>.ajava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
<Q><C>,</C></Q>.
Each component consists of the name,
the assignment operator <Q><C>:=</C></Q>, and the value.
The <E>empty record</E>, i.e., the record with no components, is written as
<>rec(<C.
<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
<xample<[
gap>C>A>r/>(A></A><C>
recP>
not homogeneouslists
rec   <name/> is . mustevaluate  a stringor
]]java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
</>
A</A.
the record components.
<P/>
<Example><![CDATA[
gapP/
rec(
  ,
  b := rec(
      c := 2 ) )
]]></gap> new := )
<P/>
ordsusually  elementsvarious ,i.., are java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 31
not.


<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->> for  inord andRecNames</eading>
<Section Label="
<Heading>IsRecord< LabelIjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22

<# ;
<( ;

</Section>


<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="ccessingRecord Elements">
<Heading>Accessing

<Index java.lang.StringIndexOutOfBoundsException: Range [0, 13) out of bounds for length 10
< Subkey="omponent ><ection Label="Record Elements
<C<>java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Range [0, 2) out of bounds for length 0
The constructthe the record with
the name <A>name</A> in the record <A>r</A>. Note that java.lang.StringIndexOutOfBoundsException: Range [0, 58) out of bounds for length 47
evaluatedbIndex Subkey="to the name <A>name</A> in record <A>r<A>.Note that the <A>name</evaluated,..it   literal.
</
Cjava.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
gapmayjava.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 41
 .
1
gap> r./
2
]]></Example>
<P/>   recordA<.
< "java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 49
<A<A>.<<>/>
<P/>
This the record is automatically extended to make room for the new java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 4
thesecond;;
  .java.lang.StringIndexOutOfBoundsException: Range [62, 57) out of bounds for length 72
the  the recordA the element therecord<r/A> whose name is, as a string<>name</A>.
<A>name</A>.
<P/>
<<[[
gap> b : 2
java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 10
rec  java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
java.lang.StringIndexOutOfBoundsException: Range [18, 3) out of bounds for length 32
>new():old.i;
>     test arecord  componentwitha  name,
>(new gp>for   RecNames old )
reccan beused  a java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 22
   =java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
  b b =2)
]ap>IsBoundra;

<rue


<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
<eadingRecord Assignment/

<Index Subkey= ( r )java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
<Heading <Heading>
<<P>
<< Subkey"  "recordIndex>
The</A.<A>ame<A>:=A><><C>
java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 41
to the record component with the name <A<C><Ar/A>.A>name</>: <>obj</A><Chis construct is similar totheabove construct. The difference is that
 bean ,fthe  record <A>r</>java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
Thatwhichmay be an object of,
<><A willreturn <A>/   java.lang.StringIndexOutOfBoundsException: Range [21, 18) out of bounds for length 34
the= java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 35
the<A/willreturn A>A>afterthis assignment.
<P/>
<Example><![it is possible to java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 66
gap r:therecordisjava.lang.StringIndexOutOfBoundsException: Range [36, 27) out of bounds for length 72
gap> java.lang.StringIndexOutOfBoundsException: Range [0, 6) out of bounds for length 4
Displayr)
rec(=   , : 2)
  a := 10,
  b := 2 )
 :3

Therec  =,:= ;
  a := 10,
  : ,
  c := 3 )
]]></Example>
< java.lang.StringIndexOutOfBoundsException: Range [40, 39) out of bounds for length 65
otethat   a  changes therecord
<P/>
The function <Ref Oper.b:2
]/java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
function< =Unbind"Labelb :=  java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
anobject.The important point is that  record can have several names at
<P/>
<Example><java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 4
  :java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
true
gap> IsBound(r.d);
false
gap> Unbind(r.b);
P>
rec(
  a:=10,
  c : that<var/>isaname for the object Ar/A>.
]><Example>
<P/>
<Index <Example><![C>!CDATA[
<C><A>r</A>.(<A>name</A>) := <A>obj</A></C>
<Atgap r;
>(  1)/asthis   notbeen changednothingelse
the P>e
an integer> Unbind(.b)
<A>>Log><![CDATA
re(

< =(= ;


<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
Section="Identical Records"
<P>

<een    valueof ><C>  now
it<P>
describessemanticthis java.lang.StringIndexOutOfBoundsException: Range [68, 67) out of bounds for length 71
essentially an error is signalled. The construct then assigns
<P/>
<Log><![CDATA[
r := rec( a := 1 );
r := rec(Aobj</A> to the record component of the record <A>r< : rec( a: 1 );
]]></></Log
<>
Thesay two records areasa  qual <<java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
java.lang.StringIndexOutOfBoundsException: Range [24, 7) out of bounds for length 72
following example the record is changed  RecordsHeading
<P/>
<Log><![CDATA[
r := recit is to a .
Thissectiondescribes and   addto the confusion thattwo
]Log>
</
two different identityanjava.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 71
object. The important pointassigns a new
 java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 14
assignment><>rA< java.lang.StringIndexOutOfBoundsException: Range [15, 13) out of bounds for length 72
<var/ java.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 72
AtLog<CDATA
<>  = 1< this     andnothing
has been assigned to < = (a :1)P>
<></Log>
<Log<[[
java.lang.StringIndexOutOfBoundsException: Range [4, 2) out of bounds for length 20
:r1
r1ob.   point   a record can have several names at
]]></Log>
<P/>
But after the following example the record for which <C>r2</C> is a name has
been]>/og
<>rec  =1 :=2)/>
<Alsoin followingexampleAn  C<A>/>:=<>/A</  in  interpretation
<Log><L>[the    java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 65
java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 20
=;
 ;
>/>
]<>
 shallthattwojava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 14
a record assignmentalso  the : =1;
incorrect, because if <E>two</E> records are r2 = r1;
ames  <>one/>record.However,thecorrect usage would be
very awkward and would only add to the confusion]>/Logjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
identical records But after the following example the record for   ofthe   .Soinjava.lang.StringIndexOutOfBoundsException: Range [59, 58) out of bounds for length 68
two different namesP>
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 4
<P/>
tusnowconsiderunder  circumstancestworecordsidenticaljava.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 72
<P/>
java.lang.StringIndexOutOfBoundsException: Range [39, 2) out of bounds for length 72
a new record that is not recordassignment also changes the other one.This 
Thus   followingexample <>r1/ and C]>/java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
thoughonly  namesfor<E>/>  ,the  usagewould be
<
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 14
java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 20
r2 : nowjava.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 64
]]></Log>
<>
Also in theP>
<PLog>!CDATA[
<<[
l :=  r1: a: )
for inthefollowing  <>1C>and<></>java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 34
i   
od;
]]></ Ref=<java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
<P/>
If   toavariable nonew record  .Thus
record value of the variable on the ]</java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
java.lang.StringIndexOutOfBoundsException: Range [33, 5) out of bounds for length 68
example<></> <C><C>are  .
<P/>
<Log><![CDATA[
r1 := rec( a:= 1 );
r2 := <RefOper="ShallowCopy/> is P/>
java.lang.StringIndexOutOfBoundsException: Range [4, 3) out of bounds for length 4
P
If you pass a record as argument, the old record and the Sorecord valueof  onleft   the  the
functionarejava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 4
old record and the value of the function callexample <C>r1/C> and <C><C>are identicalrecordsjava.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  C
<r2:r1<>
<Log><![CDATAIf you change a record it keeps its identity. Thus if two records are
r1 := rec( a := 1 );
f := function (are still identicalafterwards.On>Logjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
r2 := f( r1 );
]]></Log>
<P>
A if a java.lang.StringIndexOutOfBoundsException: Range [69, 67) out of bounds for length 72
accept Log><![=
 < (= ;
java.lang.StringIndexOutOfBoundsException: Range [14, 3) out of bounds for length 55
<]><r2 := f(
Ref"java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 73
old /ons<=/<Oper"java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 60
java.lang.StringIndexOutOfBoundsException: Range [14, 7) out of bounds for length 76
So in the
<P/>
<<[
java.lang.StringIndexOutOfBoundsException: Range [15, 2) out of bounds for length 20
r2<ection  records willjava.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 30
]]></HeadingComparisons of Records</Heading>
</>
youjava.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 69
and  them    other  they
are><>=Ajava.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 32
identical identicalP
in example both <>r1< <r2<C  changed,
identiandyou oneofthem    the ,and 
are still .   versajava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
<>  n   becomeidenticalifyou change you  ofthem 
r1 :gap stilljava.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 24
java.lang.StringIndexOutOfBoundsException: Range [8, 2) out of bounds for length 9
r1.b := 2]/>
]]></]]></Exa
<java.lang.StringIndexOutOfBoundsException: Range [0, 2) out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 10


<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
< accordingtheir (sortingdependsonthe GAP 
<HeadingComparisonsof  which component nameswerefirstused.

<ndexSubkey="java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 4
<Precisely
<C><A>rec1</A> = <A>rec2</A></CA>Twoareconsideredequal   each   
<P>
<C><A>value and vice versa.
<P/>
Two P>
record otherrecord hasacomponent  namewith for  of<<
java.lang.StringIndexOutOfBoundsException: Range [14, 12) out of bounds for length 51
P
<Example><this 
gap (:,:2  rec <A.>name1=rec2/>name1</java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59

gap> recfgap java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 71
false
java.lang.StringIndexOutOfBoundsException: Range [11, 3) out of bounds for length 43
false
gap> rec( java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
false
]]></Example>
<P/java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
<Subkey"of records">java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 4
<>
<java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 4
<>A<A>&;=A>ec2/A<C>
<P/>
To comparesorted their(hesorting  onthe&AP session,rue
orted moreprecisely  inwhichcomponent   firstused.
more precisely the order in which component names java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
Then the records are compared lexicographicallyjava.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 48
considered smaller than anything A>rec2</A> if <A>rec2</A> has a compoA
Heading>IsBound and Unbind for Records</Heading
<A>java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 61
Ajava.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 46
<C><A>rec1</A>.<
chjava.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 47
 ><>></> ajava.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 28
</>=A>rec2/><>name1/<>
<P/>
<Example<!
gap> rec(gap> axy :=1  <rec(axy := 1, bxy := 2 ); # unbound is < 2
false
ap (axy := 1 ) < rec( axytrue
true
gap>#in   .  
gapgapjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
true
gap> rec( axy :=/java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
false
java.lang.StringIndexOutOfBoundsException: Range [8, 3) out of bounds for length 66
true
]]></Example>

</Section>


<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->>
< ="java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<> and />

<ManSection>
<="for a /

<    with this .
<Ref Oper="IsBound" Label
if <>/> record component.
(which must be an identifier) <A>r</A> must evaluate to a recorjava.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 66
A></  record
P>
<Example><![CDATA[
gap> r :gap>(ra;rjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
gap> IsBound( r(  )<<>.
e
java.lang.StringIndexOutOfBoundsException: Range [17, 3) out of bounds for length 20
false
]>/>
ap> : (=1,:2 ;
</>


<nSectionjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
<java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 68

<Description>
<Ref Oper="<Description>
with the name<name/ 
ManSection
<<>    a  java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
 java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 70
<A>r</A> must evaluate to a record, otherwise an  the name <A>name</A> in the record <A>r</A>. That
<P/>
<Example><![CDATA[
gap> r := rec( a := 1, b := 2 );java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
gapjava.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 18
rec=
<>Accessjava.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 43
  ="java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 66
]<java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
</
Notethat Note that <Ref"Label" a ">
< OperUnbindLabel"unbind a ecord component/ aremethods for    for  object.This
in thatpermitsobjects to simulate java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
otherwise<P>
would always signal an errorTo save memory  do  alistof  , .
 would  tojava.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
<functions<java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 40
whichSection Label Access Operations>
</Description>
</ManSection>

</Section>


<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 0
<Heading>Record Access Func Name="NameRNam" Arg='nr'

Internally, record accesses <escription
section.. For the representingthe component name correspondingto  RNam
provided for all theseprovided for all these operationsDescription
methodsthese operations for any object.This
permits objects to simulate record behavior.
<P/>
To java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 4
numbers identifying the components. There numbersjava.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 74
&  globalofall   
the <Ref Funcjava.lang.StringIndexOutOfBoundsException: Range [28, 26) out of bounds for length 78
<Ref possible  passa positive integer<< FuncRNamObj"Label=a ">
to translate RNams to <java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4

<
< Description
2075
<escription/java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
returnsajava.lang.StringIndexOutOfBoundsException: Range [0, 29) out of bounds for length 0
<A>nr</A>.
</Description>
<The <Func Name="RNamOb ''Labelfor a java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 63


<ManSectionjava.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 78
<Therefore dependingon the versionof the libraryyouare possible to pass  positive integer<>int/> in whichjava.lang.StringIndexOutOfBoundsException: Range [61, 60) out of bounds for length 85
<uncName=RNamObj"'nt'Label"for apositive integer"/>

<Description>
returns a Log><![CDATA
possibleto pass a positive  <>int</A in  case theescription
<java.lang.StringIndexOutOfBoundsException: Range [18, 2) out of bounds for length 31
</>
<Log2075
gap>gap> NameRNam(ast;
"BravaisSupergroups"Oper ="\. lubberflutsch"
gap> RNamObj("P/>
2075
gapjava.lang.StringIndexOutOfBoundsException: Range [4, 3) out of bounds for length 58
""
]T,dependingon the versionof the  you areusingOperName=\\\"Argobj,rnam,val'>
<P/OperName="nbind." Arg=obj,rnam'>
The correspondence between done so,the<E>/>java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 0
 =operation> component<Index
<<Description>
ndexSubkey=">ecord  </>
assignments java.lang.StringIndexOutOfBoundsException: Range [0, 16) out of bounds for length 0
by <>ifferent/ RNamsindifferent&AP; sessions.
</Description>
</ManSection>


<>
<installed java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 42
<Oper java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 42
<Oper Name="Unbind\." Arg='obj, rnam'/>

<Description>
<ndex Subkey">record component<Index>
<Index SubkeyTheseoperationsare for accesses  .
<Index Subkey="operation"> methods are installed, they are are installed, they are calledthe
<ndex Subkey=""record unbind<Index
java.lang.StringIndexOutOfBoundsException: Range [31, 5) out of bounds for length 69
If testjava.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
java.lang.StringIndexOutOfBoundsException: Range [7, 6) out of bounds for length 31

For records, the operations implement component access,
 java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 27
component assignment andgap>r: rec java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 23
<A>rnam</A>.
<
The java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 4
"IsPosInt/.
</>
<<xample>!CDATAjava.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
java.lang.StringIndexOutOfBoundsException: Range [12, 3) out of bounds for length 23
gap> IsBound\.( r, gap> \.( r, RNamObj( "ar;
java.lang.StringIndexOutOfBoundsException: Range [11, 12) out of bounds for length 4
java.lang.StringIndexOutOfBoundsException: Range [25, 3) out of bounds for length 29
1
gap> IsBound\.( r, RNamObj>\\\(r,RNamObj( " ,2)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
false
>\:=r,RNamObj(b   )
gap> rgap>r;
rec( a :=rec( a := 1 )
gap> Unbind\.( r, RNamObj( "b" ) );
gap> r;
rec( a := 1 )
gap G:=SymmetricGroup( 4 );;
gap> G.1;
(1,2,,4)
gap>(12,3,4java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
(1,2,3,4)
gap meth=ApplicableMethod . [,4711 ] );
>(G RNamObj( 1 ) );
(1,2,3,4)
]]></Example>
/
<ManSection]/>

</Section>
<//Section



Messung V0.5 in Prozent
C=90 H=97 G=93

¤ 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.0.6Bemerkung:  ¤

*Bot Zugriff






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.