Artifact 5d56ed45bfe92db3d6213f5e13bf0c0baef80d66f28cdd3e72eeb6624232b7c8:

• Executable file r37/packages/groebner/groebnr2.red — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1646) [annotate] [blame] [check-ins using] [more...]

module groebnr2; % Part 2 of the Groebner package.
 
create!-package('(groebnr2 groebman glexconv groebres groebmes
		  groebrst groebtra groeweak hilberts hilbertp
                  hggroeb kuechl),
		'(contrib groebner));

% Other packages needed.

load!-package 'groebner;

imports a2vdp,f2vdp,a2vbc,vdp2a,vdp2f,vbc2a,
        vdpfmon,vdpappendvdp,vdplbc,
        vdpred,vdplastmon,vevnth,

        vdpzero!?,vdpredzero!?,vdpone!?,vevzero!?,
        vbcplus!?,vbcone!?,vbcnumberp!?,vevdivides!?,vevcompless!?,
        vdpequal,vdpmember,vevequal,

        vdpsum,vdpprod,vdpdivmon,cdpcancelvev,vdplcomb1,vdpcontent,
        vdpsimpcont,vdplcm,vdpresimp,

        vbcsum,vbcdif,vbcneg,vbcprod,vbcquot,vbcinv,vbcgcd,

        vevsum,vevsum0,vevdif,vevtdeg,vevzero,

        vdpilcomb1,vdpprin2,

        vdpputprop,vdpgetprop,vdplsort,vdplsortin,vdpprint,
        vdpprin3t,vdprectoint,

        groebmess24,groebmess4,groebmess2,groebmess51,groebmess8,
        groebmessff,groebmess5,groebmess34,groebmess29,groebmess32,
        groebmess30,groebmess31,groebmess36,groebmess37,groebmess35,
        groebmess33,

        vevweightedcomp2,vdpvbcprod,vdpcanelmvev,

        gsetsugar,

        rnonep!:,rntimes!:,!*i2rn,rnminusp!:,rndifference!:,rnzerop!:,
        rnplus!:,rnquotient!:,rnequiv,rnprep!:,mkrn,

        vdpcoeffcientsfromdomain!?,

        simp,addsq,multsq,

        rerror,vdpcleanup,torder2;

exports 
        gdimensioneval,glexconvert,greduce,preduce,groebnert,dd_groebner,
        hilbertpolynomial,gsort,gsplit,gspoly,gzerodim!?,
        groeb!-w1;

endmodule;

end;