Involutive now uses Matrix instead of matrix

+ fixed CommonHomalgTableForMapleHomalgTools.CopyMatrix
  by using RP[matrix]

needs Maple's homalg v120531: fixed `homalg/MonomialMatrix`
show PLURAL and SCA banner only once per stream (at most)
added support for Anna Fabiańska's QuillenSuslin

- provide the entry BestBasis in Involutive's ring table
  via Anna's QuillenSuslin: `InvolutiveQS/homalg`[BestBasis]
- added banner for QuillenSuslin
- activate RP_BestBasis in CreateHomalgTable for
  IsHomalgExternalRingObjectInMapleUsingInvolutiveRep
- the CommonHomalgTableForMapleHomalgBestBasis entry
  BestBasis now does not set SetIsDiagonalMatrix( S, true );
- modified CreateHomalgTable for
  IsHomalgExternalRingObjectInMapleUsingPIRRep
  to call BestBasis with SetIsDiagonalMatrix( S, true );
show banners of Maple homalg's ring packages only once per stream (at most)
fixed `InvolutiveQS/homalg`[BestBasis] by overloading it

in a macro and switched back to use matrix instead of Matrix for Involutive
added RandomPol and IsIrreducible to CommonHomalgTableForSingularTools

+ loaded Singular LIBs random.lib, hnoether.lib

(needs the new pictograms in HomalgToCAS v2012.06.08)
Fixed a bug in block_matrix

to use it with the latest version of sage.
Merge pull request #6 from sebasguts/master

Changed block_matrix in Sage
simplified the code of CommonHomalgTableForSingularTools.Eliminate
fix new /-bug in Singular 3-1-4

                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 3-1-4
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Jan 2012
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
// ** executing /Users/mo/software/singular/Singular/LIB/.singularrc
> ring r=0,(x),dp;
> poly a = 1;
> a/2;
1/2
> (a)/2;
1/2
> 1/2;
1/2
> (1)/2;
// ** int division with `/`: use `div` instead in line >>(1)/2;<<
0
host DegreeOfRingElement outsourced from GradedRingForHomalg v2012.06.27

- host *Macros.DegreeOfRingElement
- host CommonHomalgTableFor*Tools.DegreeOfRingElement
  (depends on HomalgToCAS v2012.06.27)
fixed email address of Markus Kirschmer

From: 	Alexander Konovalov <alexk@mcs.st-andrews.ac.uk>
Subject: 	Fwd: Mail delivery failed : returning message to sender
Date: 	2. Juli 2012 17:57:12 MESZ
To: 	Mohamed Barakat <mohamed.barakat@rwth-aachen.de>

Dear Mohamed,

what about markus.kischmer@math.rwth-aachen.de email from your PackageInfo.g file?
He is in the list and we are getting bounces.

Thanks,
Alex

Begin forwarded message:

From: Mail Delivery System <Mailer-Daemon@mcs.st-and.ac.uk>
Subject: Mail delivery failed : returning message to sender
Date: 2 July 2012 16:44:14 GMT+01:00
To: alexk@mcs.st-andrews.ac.uk

This message was created automatically by mail delivery software running on
the mail server for the Centre for Interdisciplinary Research in
Computational Algebra (CIRCA) at the University of St Andrews.

This is also the GAP (www.gap-system.org) mail server.

A message that you sent could not be delivered to all of its recipients.
The following address(es) failed:

markus.kischmer@math.rwth-aachen.de
  (ultimately generated from package-authors@gap-system.org)
  SMTP error from remote mail server after RCPT TO:<markus.kischmer@math.rwth-aachen.de>:
  host mx5.rz.rwth-aachen.de [137.226.78.58]: 550 #5.1.0 Address rejected.
renamed Singular macro DegreeOfRingElement -> Deg

as this name is used by SingularForHomalg to export the macros
and the defined proc in Singular is called Deg
hnoether.lib defines delta in Singular

. this is bad since sometimes we call indeterminates delta
. the is_irred command provided by hnoether.lib is buggy anyway
  (removed its entry for SingularTools)
comply with the new GAPDoc testing methods
Fixed options for the start of GAP.