Merge branch 'alex-konovalov-merge-stable-to-master'

Makefile.in

@@ -423,6 +423,12 @@ testmanuals: compile
 	  > `date -u +dev/log/testmanuals2_%Y-%m-%d-%H-%M` 2>&1 )
 	( rm -rf doc/tut/EXAMPLEDIFFS*; rm -rf doc/ref/EXAMPLEDIFFS* )
 
+check-manuals:
+	mkdir -p dev/log
+	((cd doc/ref ; \
+	  echo 'Read("testconsistency.g");' | ../../$(TESTGAP) ) \
+	  > `date -u +dev/log/check_manuals_%Y-%m-%d-%H-%M` 2>&1 )
+
 testupdates: compile
 	mkdir -p dev/log
 	( echo 'SetUserPreference("UseColorsInTerminal",false); \

cnf/mkversionheader.sh

@@ -4,10 +4,11 @@ TMP="$1".tmp
 DST="$1"
 
 # Determine build version and date
-if test -d ../.git ; then
-  GAP_BUILD_VERSION=`git describe --tags --dirty || echo`
-else
-  GAP_BUILD_VERSION=unknown
+GAP_BUILD_VERSION=unknown
+if command -v git >/dev/null 2>&1 ; then
+  if test -d .git ; then
+    GAP_BUILD_VERSION=`git describe --tags --dirty || echo`
+  fi
 fi
 GAP_BUILD_DATE=`date +"%Y-%m-%d %H:%M:%S (%Z)"`
 

doc/changes/changes48.xml

@@ -273,6 +273,95 @@ modules and Cat1-algebras and morphisms of these structures.
 
 </Section>
 
+
+<Section Label="gap483">
+<Heading>&GAP; 4.8.3 (March 2016)</Heading>
+
+<Subsection Label="Changes in the core GAP system introduced in GAP 4.8.3">
+<Heading>Changes in the core &GAP; system introduced in &GAP; 4.8.3</Heading>
+
+New features:
+<List>
+<Item>
+<!-- #647 -->
+New function <Ref Func="TestPackage" BookName="ref"/> to run standard tests
+(if available) for a single package in the current &GAP; session (also callable
+via <C>make testpackage PKGNAME=pkgname</C> to run package tests in the same
+settings that are used for testing &GAP; releases).
+</Item>
+</List>
+
+Improved and extended functionality:
+<List>
+<Item>
+<!-- #670 -->
+<Ref Func="TestDirectory" BookName="ref"/> now prints a special status message
+to indicate the outcome of the test (this is convenient for automated testing).
+If necessary, this message may be suppressed by using the option
+<C>suppressStatusMessage</C>
+</Item>
+<Item>
+<!-- [#655] -->
+Improved output of tracing methods (which may be invoked, for example, with
+<Ref Func="TraceAllMethods" BookName="ref"/>) by displaying filename and line
+number in some more cases.
+</Item>
+</List>
+
+Changed functionality:
+<List>
+<Item>
+<!-- #615 -->
+Fixed some inconsistencies in the usage of
+<Ref Prop="IsGeneratorsOfSemigroup" BookName="ref"/>.
+</Item>
+</List>
+
+Fixed bugs that could lead to incorrect results:
+<List>
+<Item>
+<!-- #626 -->
+Fallback methods for conjugacy classes, that were never intended for infinite
+groups, now use <Ref Prop="IsFinite" BookName="ref"/> filter to prevent them
+being called for infinite groups. [Reported by Gabor Horvath]
+</Item>
+</List>
+
+Fixed bugs that could lead to break loops:
+<List>
+<Item>
+<!-- #665 -->
+Calculating stabiliser for the alternating group caused a break loop in the
+case when it defers to the corresponding symmetric group.
+</Item>
+<Item>
+<!-- #663 -->
+It was not possible to use <Ref Func="DotFileLatticeSubgroups" BookName="ref"/>
+for a trivial group. [Reported by Sergio Siccha]
+</Item>
+<Item>
+<!-- #648 -->
+A break loop while computing <Ref Attr="AutomorphismGroup" BookName="ref"/> for
+<C>TransitiveGroup(12,269)</C>. [Reported by Ignat Soroko]
+</Item>
+<Item>
+<!-- #622 -->
+A break loop while computing conjugacy classes of <C>PSL(6,4)</C>.
+[Reported by Martin Macaj]
+</Item>
+</List>
+
+Other fixed bugs:
+<List>
+<Item>
+<!-- #654 -->
+Fix for using Firefox as a default help viewer with
+<Ref Func="SetHelpViewer" BookName="ref"/>. [Reported by Tom McDonough]
+</Item>
+</List>
+</Subsection>
+</Section>
+
 </Chapter>
 
 

doc/ref/obsolete.xml

@@ -244,7 +244,7 @@ systems) in the directory <C>GAPInfo.UserGapRoot</C>.
 
 <!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
 <Section Label="obsolete-semigroups-properties">
-  <Heading>Properties of semigroups</Heading>
+  <Heading>Semigroup properties</Heading>
 
   Until Version 4.8 of &GAP; there was inconsistent use of the following
   properties of semigroups: <C>IsGroupAsSemigroup</C>, <C>IsMonoidAsSemigroup</C>, 

doc/ref/permutat.xml

@@ -127,7 +127,7 @@ false
 <#Include Label="RestrictedPerm">
 
 <ManSection>
-  <Oper Name="AsPermutation" Arg="f"/>
+  <Attr Name="AsPermutation" Arg="f"/>
   <Returns>A permutation or <K>fail</K>.</Returns>
   <Description>
     Partial permutations and transformations which define permutations

doc/ref/pperm.xml

@@ -291,7 +291,8 @@ For example, the category test function for partial permutations is
       consists of integers.  <P/>
 
       This function is the analogue in the context of
-      partial permutations of <Ref Func="Permutation" BookName="ref"/> or 
+      partial permutations of <Ref Func="Permutation" BookName="ref" 
+        Label="for a group, an action domain, etc."/> or 
       <Ref Func="TransformationOp"/>.<P/>
 
       If <A>obj</A> does not map the elements of <A>list</A> injectively,
@@ -478,7 +479,7 @@ gap> EmptyPartialPerm();
   finding various attributes of partial permutations.  <P/>
 
   <ManSection>
-    <Attr Name="DegreeOfPartialPerm" Arg="f"/>
+    <Func Name="DegreeOfPartialPerm" Arg="f"/>
     <Attr Name="DegreeOfPartialPermCollection" Arg="coll"/>
     <Returns>A non-negative integer.</Returns>
     <Description>
@@ -499,7 +500,7 @@ gap> DegreeOfPartialPerm(f);
 <!-- *************************************************************** -->
 
   <ManSection>
-    <Attr Name="CodegreeOfPartialPerm" Arg="f"/>
+    <Func Name="CodegreeOfPartialPerm" Arg="f"/>
     <Attr Name="CodegreeOfPartialPermCollection" Arg="coll"/>
     <Returns>A non-negative integer.</Returns>
     <Description>
@@ -519,7 +520,7 @@ gap> CodegreeOfPartialPerm(f);
 <!-- *************************************************************** -->
 
   <ManSection>
-    <Attr Name="RankOfPartialPerm" Arg="f"/>
+    <Func Name="RankOfPartialPerm" Arg="f"/>
     <Attr Name="RankOfPartialPermCollection" Arg="coll"/>
     <Returns>A non-negative integer.</Returns>
     <Description>
@@ -564,7 +565,7 @@ gap> DomainOfPartialPerm(f);
 <!-- *************************************************************** -->
 
   <ManSection>
-    <Oper Name="ImageOfPartialPermCollection" Arg="coll"/>
+    <Attr Name="ImageOfPartialPermCollection" Arg="coll"/>
     <Returns>A set of positive integers (maybe empty).</Returns>
     <Description>
       The <E>image</E> of a partial permutation collection <A>coll</A> is the

doc/ref/reesmat.xml

@@ -263,8 +263,8 @@ gap> MultiplicativeZero(R);
   </ManSection>
 
   <ManSection>
-    <Prop Name="IsReesMatrixSubsemigroup" Arg="R"/>
-    <Prop Name="IsReesZeroMatrixSubsemigroup" Arg="R"/>
+    <Filt Name="IsReesMatrixSubsemigroup" Arg="R" Type="Synonym" />
+    <Filt Name="IsReesZeroMatrixSubsemigroup" Arg="R" Type="Synonym"/>
     <Returns><K>true</K> or <K>false</K>.</Returns>
     <Description>
     Every semigroup consisting of elements of a Rees matrix

doc/ref/semigrp.xml

@@ -124,7 +124,7 @@ gap> InversesOfSemigroupElement(S, x);
 
 <ManSection>
   <Prop Name="IsInverseSemigroup" Arg="S"/>
-  <Prop Name="IsInverseMonoid" Arg="S"/>
+  <Filt Name="IsInverseMonoid" Arg="S" Type="Category"/>
   <Returns><K>true</K> or <K>false</K>.</Returns>
   <Description>
     A semigroup is an <E>inverse semigroup</E> if every element