#############################################################################
##
##  start.gi         GAP package IBNP            Gareth Evans & Chris Wensley
##  

#############################################################################
##
#V  InfoIBNP
##
DeclareInfoClass( "InfoIBNP" );
SetInfoLevel( InfoIBNP, 1 );

#############################################################################
##
##  declare default algebras Algebra2 and Algebra3
##
Algebra2IBNP := FreeAssociativeAlgebraWithOne(Rationals,"a","b"); 
Algebra3IBNP := FreeAssociativeAlgebraWithOne(Rationals,"a","b","c"); 
Algebra4IBNP := FreeAssociativeAlgebraWithOne(Rationals,"a","A","b","B"); 
AlgebraIBNP := Algebra2IBNP;

#############################################################################
##
##  declare various parameters
##
ZeroNP := [ [ [] ], [0] ];   ## NP form of the zero polynomial
InvolutiveAbortLimit := 20;  ## abort when generating an infinite basis 

#############################################################################
##
#M  DisplayIBNP( <polys>, <pl> )
## 
##  displays a list of polynomials according to print level
##
InstallMethod( DisplayIBNP, "displays list of polynomials by print level",
    true, [ IsList, IsInt ], 0,
function( polys, pl ) 
    local i, pol, Lpol;
    for i in [1..Length(polys)] do 
        pol := polys[i]; 
        Lpol := GP2NP( pol ); 
        ## if pl=1, display the polynomial using the original generators
        if( pl = 1 ) then 
            PrintNP( Lpol );
        ## else  display the polynomial using ASCII generators
        elif ( pl = 2 ) then  
            Print( Lpol, "\n" ); 
        else 
            Error( "pl not in [1,2]" );  
        fi; 
    od; 
end );

#############################################################################
##
#M  declare default divisions
## 
CommutativeDivision := "Pommaret";
NoncommutativeDivision := "LeftOverlap";

#############################################################################
##
#E  start.gi . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
##