PIR.lib

/home/barakat/maple/lib/10/PIR.lib.............................................................................................................................................................................................................................�6�BPIRPIRTPIRAPIR/homalgPIR/compiledPIR/versionPIR/initPIRA/initPIRT/initPIR/PBestBasisPIR/PGlobalDimPIR/PQuoPIR/PTriangularBasisPIR/PvarPIR/copyright_PIRPIR/PRingElementNormalForm...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................p"z�(��M7R0
I;PIR/PRingElementNormalFormf*6#%%_varG6%%$varG%%ringG%%RINGG6%%fnCopyright~(C)
~2006~by~Mohamed~Barakat.~All~rights~reserved.G%'systemG%)rememberG6"C&>8$-%5ho
malg/NormalizeRingG6$9$.%$PIRG>8%-%)PIR/PvarG6#F1>8&&F96#"""@*55/F>Q%Z/pZF.3/F>
Q"ZF./-%%nopsG6#F9""#3/F>Q(Z/pZ[x]F./FK""$f*6#%"aGF.F.F.-%$modG6$F5&T#6#!""F.F.
6$F(F93/F>Q%Z[I]F.FJf*FUF.F.F.@%-%%typeG6$F5%%listG-%$mapG6%&%)GaussIntG6#%&GIr
emGF5FZ-FeoFYF.F.Fhn3/F>Q%Q[x]F.FRf*FUF.F.F.@%F^o-Fco6$f*6#%"bGF.6$%)operatorG%
&arrowGF.-%$remG6%F5&FZ6$FAFA&Fen6#FNF.F.6$F(FenF5FgpF.F.Fhn3FP/FK""%f*FUF.F.F.
@%F^o-Fco6$f*FbpF.FdpF.-FX6$-%$RemG6%F5&&Fen6#!"#F[qF\qFZF.F.F^qF5FgqF.F.FhnF.F
.F.F.,
Q=PIR/PRingElementNormalForm.mF.
M7R0
I5PIR/PTriangularBasisf*6$%"MG%$varG6$%%ringG%%RINGG6%%[oCopyright~(C)~2004-200
5~by~Mohamed~Barakat.~All~rights~reserved.G%'systemG%)rememberG6"C%>8$-%)PIR/Pv
arG6#9%>8%&F16#"""@./F7Q"QF.-&%'linalgG6#%(hermiteG6%9$%$__xG&9"6#;""$!""/F7Q%Q
[x]F.-F?6%FD&F16#""#FF/F7Q"ZF.-&F@6#%)ihermiteG6$FDFF/F7Q%Z[I]F.-&%)GaussIntG6#
%*GIhermiteGFY/F7Q%Z/pZF.-%$modG6$-%(HermiteGFC&F16#FK/F7Q(Z/pZ[x]F.-F^o6$-FaoF
OFboF.F.F.F.,
Q7PIR/PTriangularBasis.mF.
M7R0
I+PIR/homalg=6"%&falseGE\[l'%6RingElementNormalFormG%;PIR/PRingElementNormalFor
mG%0TriangularBasisG%5PIR/PTriangularBasisG%1PresentationInfoGf*6$%"MG%$varGF$F
$F$-%?homalg/DiagonalElementsAndRankG6%9$9%F"F$F$F$%6QuotientWithRemainderG%)PI
R/PQuoG%*GlobalDimG%/PIR/PGlobalDimG%*BestBasisG%/PIR/PBestBasisGF$,
Q-PIR/homalg.mF$
M7R0
I/PIR/PGlobalDimf*6#%$varG6$%%ringG%%RINGG6%%[oCopyright~(C)~2004-2006~by~Moham
ed~Barakat.~All~rights~reserved.G%'systemG%)rememberG6"C%>8$-%)PIR/PvarG6#9$>8%
&F06#"""@./F6Q"QF-""!/F6Q%Q[x]F-@%/-%%nopsG6#F0""#F9@%-%%typeG6$-%$mapG6$f*6#%"
aGF-6$%)operatorG%&arrowGF-&F46#FEF-F-F-&-%(factorsG6#&&&F06#""$F8F8FT-%%listGF
8F=%)infinityG/F6Q"ZF-@%/FBF9F9@%-FH6$-FK6$f*FNF-FPF-FSF-F-F-&--%(readlibG6#%)i
factorsG6#&F0FTFTFhnF=Fjn/F6Q%Z[I]F-@%F^oF9@%-FH6$-FK6$f*FNF-FPF-FSF-F-F-&-&%)G
aussIntG6#%*GIfactorsGF[pFTFhnF=Fjn/F6Q%Z/pZF-F=/F6Q(Z/pZ[x]F-@%/FBFgnF9@%-FH6$
-FK6$f*FNF-FPF-FSF-F-F-&-%$modG6$-%(FactorsGFX&F06#""%FTFhnF=FjnF-F-F-F-,
Q1PIR/PGlobalDim.mF-
M7R0
I)PIR/Pvarf*6#%%_varG6'%$varG%"vG%"rG%%RINGG%"pG6%%fnCopyright~(C)~2004~by~Moha
med~Barakat.~All~rights~reserved.G%'systemG%)rememberG6"C'>8$-%5homalg/Normaliz
eRingG6$9$.%$PIRG>8%&F36#""">8&&F36#""#@/3/-%%nopsG6#F;F>/&F;F=""!C%>F;%%NULLG>
F@FO>8'Q"QF0/F;7"C%@%/F@FU>F;FL>F;-%%igcdG6#-%#opG6#-%$mapG6$FinF@>F@FO@'/F;FLC
$>F;FO>FRQ"ZF0-%%typeG6$F;%&primeG-%&ERRORG6'%$UseG7#F;%+instead~ofG7$FUF]p%Tsi
nce~it~is~a~prime!~Else~use~the~package~integers!G>FRFdo3FF/FK^#F>C%>F;FO@%FX>F
@FL>F@-&%)GaussIntG6#%&GIgcdGFgn@%/F@FLC$>F@FO>FRQ%Z[I]F0>FRFdq3FF-Ffo6$FK%(int
egerGC%>F;-%$absG6#FK>F@FO@)F`oC$>F;FO>FRFdoFeo>FRQ%Z/pZF0/F;F>-Fjo6#%DThere~is
~no~field~with~one~element!G-Fjo6'F\pF_pF^pF]p%9since~it~is~not~a~prime!G3FF-Ff
o6$FK%'symbolGC$>F;FK@)FXC$>F@FO>FRQ%Q[x]F0-%'memberG6$F;-%'indetsG6#F@C&>8(-%$
gcdG6#-Fin6#-F\o6$Fin-%'selectG6%FfoF@-%%listG6#Fiq@$0F`tFL-Fjo6(%*Use~var:=G7$
7$F;F`t-F\u6#%(polynomG%#orG7$7$F`tF;FeuF^pF7>F@7#7#-FbtFgn>FRFgs-Ffo6$F@-F\u6#
F[uC$>F@Fen@'F`qC$>F@FO>FRFgs-Ffo6$F@Fho-Fjo6(Fbu7$F;F@Fhu7$F@F;F^pF7-Fjo6$%JEx
pecting~a~prime~(or~zero),~but~recievedGF@-Fjo6#%6Wrong~ring~relations!G/-FH6#-
F\tFIF>C(>F`t-Fbt6#-Fin6#-Fit6%FfoF;Fiq>F;&FiwF=@'/F`tFLC$>F`tFO>FRFgs-Ffo6$F`t
Fho>FRQ(Z/pZ[x]F0-Fjo6$FbwF`t>F@-Fit6$f*6#%"aGF06$%)operatorG%&arrowGF04-Ffo6$F
7FiqF0F0F0F@@%FX>F@FOC$>F@F\v@$/F@7#7#FL>F@FO>F@6$F@F`t-Fjo6#%NWrong~specificat
ion~for~principal~ideal~ring!G7%FRF;F@F0F0F0F0,
Q+PIR/Pvar.mF0
M7R0
I$PIR=6"%&falseGE\[l&%7PRingElementNormalFormGf*F$F$6%%fnCopyright~(C)~2006~by~
Mohamed~Barakat.~All~rights~reserved.G%'systemG%)rememberGF$C$30%0PIR/initializ
edG.%%trueG0-%)PIR/initGF$""!-%;PIR/PRingElementNormalFormG6#9"F$F$F$%+PGlobalD
imGf*F$F$6%%[oCopyright~(C)~2004-2006~by~Mohamed~Barakat.~All~rights~reserved.G
F+F,F$C$F.-%/PIR/PGlobalDimGF9F$F$F$%+PBestBasisGf*F$F$6%%[oCopyright~(C)~2004-
2005~by~Mohamed~Barakat.~All~rights~reserved.GF+F,F$C$F.-%/PIR/PBestBasisGF9F$F
$F$%%PQuoGf*F$F$FDF$C$F.-%)PIR/PQuoGF9F$F$F$%1PTriangularBasisGf*F$F$FDF$C$F.-%
5PIR/PTriangularBasisGF9F$F$F$F$,
Q&PIR.mF$
M7R0
I-PIR/compiled"-B<5,3?6",
Q/PIR/compiled.mF$
M7R0
I*PIRA/initf*6"F$6#%fnCopyright~(C)~2004~by~Mohamed~Barakat.~All~rights~reserve
d.GF$-%)PIR/initG6#9"F$F$F$F$,
Q,PIRA/init.mF$
M7R0
I/PIR/PBestBasisf*6$%"MG%$varG6$%%ringG%%RINGG6%%[oCopyright~(C)~2004-2005~by~M
ohamed~Barakat.~All~rights~reserved.G%'systemG%)rememberG6"C%>8$-%)PIR/PvarG6#9
%>8%&F16#"""@./F7Q"QF.-&%'linalgG6#%&smithG6%9$%$__xG&9"6#;""$!""/F7Q%Q[x]F.-F?
6%FD&F16#""#FF/F7Q"ZF.-&F@6#%'ismithG6$FDFF/F7Q%Z[I]F.-&%)GaussIntG6#%(GIsmithG
FY/F7Q%Z/pZF.-%$modG6$-%&SmithGFC&F16#FK/F7Q(Z/pZ[x]F.-F^o6$-FaoFOFboF.F.F.F.,
Q1PIR/PBestBasis.mF.
M7R0
I)PIR/initf*6"6#%*ini_printG6#%fnCopyright~(C)~2004~by~Mohamed~Barakat.~All~rig
hts~reserved.GF$@$50%0PIR/initializedG.%%trueG32""!9#-%%typeG6$&9"6#""".%%listG
C%>8$f*F$F$F$F$@$0%/_Env_PIR_printG%&falseG-%&printG6#F7F$F$F$>F,F--%%withG6#%%
PIRTGF$6#F,F$F$,
Q+PIR/init.mF$
M7R0
I2PIR/copyright_PIRf*6"F$6#%[oCopyright~(C)~2004-2006~by~Mohamed~Barakat.~All~r
ights~reserved.GF$C)-%&printG6#%4PIR~(2004-2006)~(C)G-F)6#%NCopyright~(C)~(2004
-2006)~by~Mohamed~Barakat.G-F)6#%5All~rights~reserved.G-F)6#%YThis~software~sho
uld~be~referenced~if~it~is~used~in~workG-F)6#%>eventuating~in~a~publication.G-F
)6#%GUsers~are~free~to~modify~this~program,G-F)6#%Tbut~it~is~not~to~be~redistri
buted~in~modified~form.GF$F$F$F$,
Q4PIR/copyright_PIR.mF$
M7R0
I%PIRT=6"%&falseGE\[l#%%PvarGf*F$F$6%%fnCopyright~(C)~2004~by~Mohamed~Barakat.~
All~rights~reserved.G%'systemG%)rememberGF$C$30%0PIR/initializedG.%%trueG0-%)PI
R/initGF$""!-%)PIR/PvarG6#9"F$F$F$%.copyright_PIRGf*F$F$6#%[oCopyright~(C)~2004
-2006~by~Mohamed~Barakat.~All~rights~reserved.GF$C$F.-%2PIR/copyright_PIRGF9F$F
$F$F$,
Q'PIRT.mF$
M7R0
I%PIRA=6"%&falseGE\[l(%7PRingElementNormalFormGf*F$F$6%%fnCopyright~(C)~2006~by
~Mohamed~Barakat.~All~rights~reserved.G%'systemG%)rememberGF$C$30%0PIR/initiali
zedG.%%trueG0-%)PIR/initGF$""!-%;PIR/PRingElementNormalFormG6#9"F$F$F$%+PGlobal
DimGf*F$F$6%%[oCopyright~(C)~2004-2006~by~Mohamed~Barakat.~All~rights~reserved.
GF+F,F$C$F.-%/PIR/PGlobalDimGF9F$F$F$%%PvarGf*F$F$6%%fnCopyright~(C)~2004~by~Mo
hamed~Barakat.~All~rights~reserved.GF+F,F$C$F.-%)PIR/PvarGF9F$F$F$%+PBestBasisG
f*F$F$6%%[oCopyright~(C)~2004-2005~by~Mohamed~Barakat.~All~rights~reserved.GF+F
,F$C$F.-%/PIR/PBestBasisGF9F$F$F$%%PQuoGf*F$F$FKF$C$F.-%)PIR/PQuoGF9F$F$F$%1PTr
iangularBasisGf*F$F$FKF$C$F.-%5PIR/PTriangularBasisGF9F$F$F$%.copyright_PIRGf*F
$F$6#F>F$C$F.-%2PIR/copyright_PIRGF9F$F$F$F$,
Q'PIRA.mF$
M7R0
I,PIR/version"-2<401?6",
Q.PIR/version.mF$
M7R0
I*PIRT/initf*6"F$6#%fnCopyright~(C)~2004~by~Mohamed~Barakat.~All~rights~reserve
d.GF$-%)PIR/initG6#9"F$F$F$F$,
Q,PIRT/init.mF$
M7R0
I)PIR/PQuof*6%%"aG%"bG%$varG6$%%ringG%%RINGG6%%[oCopyright~(C)~2004-2005~by~Moh
amed~Barakat.~All~rights~reserved.G%'systemG%)rememberG6"C%>8$-%)PIR/PvarG6#9&>
8%&F26#"""@./F8Q"QF/-%)simplifyG6#*&9$F;9%!""/F8Q%Q[x]F/-%$quoG6%FCFD&F26#""#/F
8Q"ZF/-%%iquoG6$FCFD/F8Q%Z[I]F/-&%)GaussIntG6#%&GIquoGFR/F8Q%Z/pZF/-%$modG6$FB&
F26#FE/F8Q(Z/pZ[x]F/-Fgn6$-%$QuoGFJFinF/F/F/F/,
Q+PIR/PQuo.mF/