no mention of NC version in the tutorial manual

doc/tut/algvspc.xml

@@ -192,7 +192,7 @@ gap> h:= NaturalHomomorphismBySubspace( V, W );
 <linear mapping by matrix, ( Rationals^4 ) -> ( Rationals^2 )>
 gap> Image( h, [ 1, 2, 3, 4 ] );
 [ 0, 0 ]
-gap> PreImagesRepresentativeNC( h, [ 1, 0 ] );
+gap> PreImagesRepresentative( h, [ 1, 0 ] );
 [ 1, 0, 0, 0 ]
 ]]></Example>
 
@@ -455,11 +455,11 @@ gap> AmodR:= ImagesSource( h );
 <algebra of dimension 3 over Rationals>
 gap> id:= CentralIdempotentsOfAlgebra( AmodR );
 [ v.3, v.2+(-3)*v.3, v.1+(-2)*v.2+(3)*v.3 ]
-gap> PreImagesRepresentativeNC( h, id[1] );
+gap> PreImagesRepresentative( h, id[1] );
 [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 1 ] ]
-gap> PreImagesRepresentativeNC( h, id[2] );
+gap> PreImagesRepresentative( h, id[2] );
 [ [ 0, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 0 ] ]
-gap> PreImagesRepresentativeNC( h, id[3] );
+gap> PreImagesRepresentative( h, id[3] );
 [ [ 1, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ] ]
 ]]></Example>
 <P/>

doc/tut/group.xml

@@ -168,18 +168,17 @@ action domain of <C>norm</C>. (It only happens that both are subsets of the
 natural numbers.) We can now form  images and preimages under the natural
 homomorphism. The set of  preimages of an element under  <C>hom</C> is a coset
 modulo <C>elab</C>.
-We use one of the functions <Ref Func="PreImages" BookName="ref"/> 
-or <Ref Func="PreImagesNC" BookName="ref"/> here because <C>hom</C> is not
-a bijection, so an  element of the range can have several preimages or
-none at all.
+We use the function <Ref Func="PreImages" BookName="ref"/> here 
+because <C>hom</C> is not a bijection, 
+so an element of the range can have several preimages or none at all.
 <P/>
 <Example><![CDATA[
 gap> ker:= Kernel( hom );
 Group([ (1,2)(3,4)(5,6)(7,8), (1,3)(2,4)(5,7)(6,8), (1,5)(2,6)(3,7)
   (4,8) ])
 gap> x := (1,8,3,5,7,6,2);; Image( hom, x );
 (1,7,5,6,2,3,4)
-gap> coset := PreImagesNC( hom, last );
+gap> coset := PreImages( hom, last );
 RightCoset(Group([ (1,2)(3,4)(5,6)(7,8), (1,3)(2,4)(5,7)(6,8), (1,5)
  (2,6)(3,7)(4,8) ]),(2,8,6,7,3,4,5))
 ]]></Example>
@@ -380,7 +379,7 @@ gap> ophom := ActionHomomorphism( a8, op );;
 gap> ophom2 := ActionHomomorphism( op, op2 );;
 gap> composition := ophom * ophom2;;
 gap> stab := Stabilizer( op2, 2 );;
-gap> preim := PreImagesNC( composition, stab );
+gap> preim := PreImages( composition, stab );
 Group([ (1,2,4), (6,7,8), (3,6,8), (5,8,6), (1,2)(3,8) ])
 ]]></Example>
 <P/>
@@ -676,7 +675,7 @@ Because we want to operate on the sets we have to pass
 gap> u8_56 := Stabilizer( a8_56, blocks[1], OnSets );;
 gap> Index( a8_56, u8_56 );
 8
-gap> u8b := PreImagesNC( h56, u8_56 );; Index( a8, u8b );
+gap> u8b := PreImages( h56, u8_56 );; Index( a8, u8b );
 8
 gap> IsConjugate( a8, u8, u8b );
 true
@@ -703,7 +702,7 @@ third subgroup.
 gap> seed:=First(AllBlocks(a8_56),x->Length(x)=2);;
 gap> blocks := Blocks( a8_56, [1..56], seed);;
 gap> u28_56 := Stabilizer( a8_56, seed, OnSets );;
-gap> u28 := PreImagesNC( h56, u28_56 );;
+gap> u28 := PreImages( h56, u28_56 );;
 gap> Index( a8, u28 );
 28
 ]]></Example>
@@ -936,7 +935,7 @@ brk> quit;
 ]]></Log>
 <P/>
 <Example><![CDATA[
-gap> PreImagesRepresentativeNC( hom, (1,2,3) );
+gap> PreImagesRepresentative( hom, (1,2,3) );
 (1,4,2)
 gap> PreImage( hom, TrivialSubgroup(s3) );  # the kernel
 Group([ (1,4)(2,3), (1,3)(2,4) ])
@@ -948,9 +947,9 @@ Images of elements and subgroups under <C>hom</C> can be
 calculated with the function <Ref Func="Image" BookName="ref"/>.
 But since the mapping <C>hom</C> is not bijective, we cannot use the
 function <Ref Func="PreImage" BookName="ref"/> for preimages of elements 
-(they can have several preimages).  Instead, we have to use one of 
+(they can have several preimages).  
+Instead, we have to use 
 <Ref Func="PreImagesRepresentative" BookName="ref"/> 
-or <Ref Func="PreImagesRepresentativeNC" BookName="ref"/>
 which returns one preimage if at least one exists 
 (and would return <K>fail</K> if none exists, which cannot occur for
 our surjective <C>hom</C>).
@@ -1129,7 +1128,7 @@ Section&nbsp;<Ref Sect="Conjugacy Classes" BookName="ref"/>).
 gap> pcls := ConjugacyClasses( p );; gcls := [  ];;
 gap> for pc  in pcls  do
 >      gc:=ConjugacyClass(grp,
->                   PreImagesRepresentativeNC(hom,Representative(pc)));
+>                   PreImagesRepresentative(hom,Representative(pc)));
 >      SetStabilizerOfExternalSet(gc,PreImage(hom,
 >                                      StabilizerOfExternalSet(pc)));
 >      Add( gcls, gc );