| 
    
        
    
    
    /usr/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/acplot.spad
    
        
    
 | text/plain | root:root | 0o644 | 49.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/aggcat2.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/aggcat.spad
    
        
    
 | text/plain | root:root | 0o644 | 91.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/algcat.spad
    
        
    
 | text/plain | root:root | 0o644 | 13.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/algext.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/algfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/algfunc.spad
    
        
    
 | text/plain | root:root | 0o644 | 20.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/allfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 16.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/alql.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/any.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/array1.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/array2.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/attreg.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/bags.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/bezout.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/boolean.spad
    
        
    
 | text/plain | root:root | 0o644 | 21.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/brill.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/card.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/carten.spad
    
        
    
 | text/plain | root:root | 0o644 | 23.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/catdef.spad
    
        
    
 | text/plain | root:root | 0o644 | 65.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/cden.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/clifford.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/clip.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/cmplxrt.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/coerce.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/color.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/combfunc.spad
    
        
    
 | text/plain | root:root | 0o644 | 25.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/combinat.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/complet.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/constant.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/contfrac.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/coordsys.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/cra.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/crfp.spad
    
        
    
 | text/plain | root:root | 0o644 | 25.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/curve.spad
    
        
    
 | text/plain | root:root | 0o644 | 36.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/cycles.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/cyclotom.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ddfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/defaults.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/defintef.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/defintrf.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/degred.spad
    
        
    
 | text/plain | root:root | 0o644 | 2.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/derham.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/dhmatrix.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/divisor.spad
    
        
    
 | text/plain | root:root | 0o644 | 34.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/domain.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/dpolcat.spad
    
        
    
 | text/plain | root:root | 0o644 | 21.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/drawopt.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/drawpak.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/draw.spad
    
        
    
 | text/plain | root:root | 0o644 | 47.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/efstruc.spad
    
        
    
 | text/plain | root:root | 0o644 | 35.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/efuls.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/efupxs.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/eigen.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/elemntry.spad
    
        
    
 | text/plain | root:root | 0o644 | 27.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/elfuts.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/equation1.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/equation2.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/error.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/expexpan.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/expr2ups.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/exprode.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/expr.spad
    
        
    
 | text/plain | root:root | 0o644 | 32.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/facutil.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffcat.spad
    
        
    
 | text/plain | root:root | 0o644 | 31.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffcg.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fff.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffhom.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffnb.spad
    
        
    
 | text/plain | root:root | 0o644 | 28.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffpoly2.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffpoly.spad
    
        
    
 | text/plain | root:root | 0o644 | 43.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffp.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffx.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/files.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/float.spad
    
        
    
 | text/plain | root:root | 0o644 | 34.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fmod.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fname.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fnla.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/forttyp.spad
    
        
    
 | text/plain | root:root | 0o644 | 24.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fourier.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fparfrac.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fraction.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/free.spad
    
        
    
 | text/plain | root:root | 0o644 | 23.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fr.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fs2expxp.spad
    
        
    
 | text/plain | root:root | 0o644 | 23.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fs2ups.spad
    
        
    
 | text/plain | root:root | 0o644 | 36.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/fspace.spad
    
        
    
 | text/plain | root:root | 0o644 | 42.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/funcpkgs.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/galfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 32.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/galfactu.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/galpolyu.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/galutil.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gaussfac.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gaussian.spad
    
        
    
 | text/plain | root:root | 0o644 | 26.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gbeuclid.spad
    
        
    
 | text/plain | root:root | 0o644 | 19.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gbintern.spad
    
        
    
 | text/plain | root:root | 0o644 | 16.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gb.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gdirprod.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gdpoly.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/geneez.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/generic.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/genufact.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/genups.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ghensel.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gpgcd.spad
    
        
    
 | text/plain | root:root | 0o644 | 26.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gpol.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/grdef.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/groebf.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/groebsol.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/gseries.spad
    
        
    
 | text/x-c | root:root | 0o644 | 5.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ideal.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/idecomp.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/indexedp.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/infprod.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intaf.spad
    
        
    
 | text/plain | root:root | 0o644 | 32.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intalg.spad
    
        
    
 | text/plain | root:root | 0o644 | 18.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intaux.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intclos.spad
    
        
    
 | text/plain | root:root | 0o644 | 34.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intef.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/integer.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/integrat.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/interval.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 19.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intpm.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/intrf.spad
    
        
    
 | text/plain | root:root | 0o644 | 36.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/irexpand.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/irsn.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ituple.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/kl.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/kovacic.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/laplace.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/laurent.spad
    
        
    
 | text/plain | root:root | 0o644 | 21.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/leadcdet.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lie.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/limitps.spad
    
        
    
 | text/plain | root:root | 0o644 | 28.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lindep.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lingrob.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/liouv.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/listgcd.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/list.spad
    
        
    
 | text/plain | root:root | 0o644 | 19.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lmdict.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lodof.spad
    
        
    
 | text/plain | root:root | 0o644 | 18.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lodop.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lodo.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/manip.spad
    
        
    
 | text/plain | root:root | 0o644 | 31.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mappkg.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/matcat.spad
    
        
    
 | text/plain | root:root | 0o644 | 32.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/matfuns.spad
    
        
    
 | text/plain | root:root | 0o644 | 28.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mathml.spad
    
        
    
 | text/plain | root:root | 0o644 | 38.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/matrix.spad
    
        
    
 | text/plain | root:root | 0o644 | 16.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/matstor.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mesh.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mfinfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 19.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/misc.spad
    
        
    
 | text/plain | root:root | 0o644 | 2.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mkfunc.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mkrecord.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mlift.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/moddfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/modgcd.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/modmonom.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/modmon.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/modring.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/moebius.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mring.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mset.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/mts.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/multfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/multpoly.spad
    
        
    
 | text/plain | root:root | 0o644 | 23.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/multsqfr.spad
    
        
    
 | text/plain | root:root | 0o644 | 13.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/naalgc.spad
    
        
    
 | text/plain | root:root | 0o644 | 48.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/naalg.spad
    
        
    
 | text/plain | root:root | 0o644 | 39.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/newdata.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/newpoint.spad
    
        
    
 | text/plain | root:root | 0o644 | 27.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/newpoly.spad
    
        
    
 | text/plain | root:root | 0o644 | 72.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/nlinsol.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/nlode.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/npcoef.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/nregset.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/nsregset.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/numeigen.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/numeric.spad
    
        
    
 | text/plain | root:root | 0o644 | 20.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/numode.spad
    
        
    
 | text/x-tex | root:root | 0o644 | 15.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/numquad.spad
    
        
    
 | text/plain | root:root | 0o644 | 23.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/numsolve.spad
    
        
    
 | text/plain | root:root | 0o644 | 18.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/numtheor.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/oct.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/odealg.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/odeef.spad
    
        
    
 | text/plain | root:root | 0o644 | 25.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/oderf.spad
    
        
    
 | text/plain | root:root | 0o644 | 30.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/opalg.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/op.spad
    
        
    
 | text/plain | root:root | 0o644 | 21.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ore.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/outform.spad
    
        
    
 | text/x-lisp | root:root | 0o644 | 27.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/out.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pade.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/padiclib.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/padic.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/paramete.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/partperm.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/patmatch1.spad
    
        
    
 | text/plain | root:root | 0o644 | 25.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/patmatch2.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pattern.spad
    
        
    
 | text/plain | root:root | 0o644 | 20.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pcurve.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pdecomp.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/perman.spad
    
        
    
 | text/x-tex | root:root | 0o644 | 10.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/permgrps.spad
    
        
    
 | text/plain | root:root | 0o644 | 47.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/perm.spad
    
        
    
 | text/plain | root:root | 0o644 | 16.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pfbr.spad
    
        
    
 | text/plain | root:root | 0o644 | 25.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pfo.spad
    
        
    
 | text/plain | root:root | 0o644 | 20.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pfr.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pf.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pgcd.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pgrobner.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pinterp.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pleqn.spad
    
        
    
 | text/plain | root:root | 0o644 | 21.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/plot3d.spad
    
        
    
 | text/plain | root:root | 0o644 | 19.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/plot.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/plottool.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/polset.spad
    
        
    
 | text/plain | root:root | 0o644 | 16.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/poltopol.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/polycat.spad
    
        
    
 | text/plain | root:root | 0o644 | 44.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/poly.spad
    
        
    
 | text/plain | root:root | 0o644 | 42.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/primelt.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/print.spad
    
        
    
 | text/plain | root:root | 0o644 | 2.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/product.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/prs.spad
    
        
    
 | text/plain | root:root | 0o644 | 40.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/prtition.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pscat.spad
    
        
    
 | text/plain | root:root | 0o644 | 24.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pseudolin.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ptranfn.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/puiseux.spad
    
        
    
 | text/plain | root:root | 0o644 | 20.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/qalgset.spad
    
        
    
 | text/plain | root:root | 0o644 | 13.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/quat.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/radeigen.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/radix.spad
    
        
    
 | text/plain | root:root | 0o644 | 13.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/random.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ratfact.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rdeef.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rderf.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rdesys.spad
    
        
    
 | text/plain | root:root | 0o644 | 13.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/real0q.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/realzero.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/reclos.spad
    
        
    
 | text/plain | root:root | 0o644 | 37.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/regset.spad
    
        
    
 | text/plain | root:root | 0o644 | 70.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rep1.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rep2.spad
    
        
    
 | text/plain | root:root | 0o644 | 38.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/resring.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/retract.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rf.spad
    
        
    
 | text/plain | root:root | 0o644 | 8.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/riccati.spad
    
        
    
 | text/plain | root:root | 0o644 | 23.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rinterp.spad
    
        
    
 | text/plain | root:root | 0o644 | 1.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/rule.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/seg.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/setorder.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sets.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sex.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sf.spad
    
        
    
 | text/plain | root:root | 0o644 | 21.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sgcf.spad
    
        
    
 | text/plain | root:root | 0o644 | 20.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sign.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/si.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/smith.spad
    
        
    
 | text/plain | root:root | 0o644 | 9.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/solvedio.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/solvefor.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/solvelin.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/solverad.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sortpak.spad
    
        
    
 | text/plain | root:root | 0o644 | 3.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/space.spad
    
        
    
 | text/x-c | root:root | 0o644 | 32.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/special.spad
    
        
    
 | text/plain | root:root | 0o644 | 15.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sregset.spad
    
        
    
 | text/plain | root:root | 0o644 | 60.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/s.spad
    
        
    
 | text/plain | root:root | 0o644 | 28.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/stream.spad
    
        
    
 | text/plain | root:root | 0o644 | 37.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/string.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sttaylor.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sttf.spad
    
        
    
 | text/plain | root:root | 0o644 | 24.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sturm.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/suchthat.spad
    
        
    
 | text/plain | root:root | 0o644 | 2.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/suls.spad
    
        
    
 | text/x-c | root:root | 0o644 | 7.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sum.spad
    
        
    
 | text/plain | root:root | 0o644 | 14.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sups.spad
    
        
    
 | text/plain | root:root | 0o644 | 44.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/supxs.spad
    
        
    
 | text/x-c | root:root | 0o644 | 4.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/suts.spad
    
        
    
 | text/x-c | root:root | 0o644 | 13.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/symbol.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/syntax.spad
    
        
    
 | text/plain | root:root | 0o644 | 50.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/syssolp.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/system.spad
    
        
    
 | text/plain | root:root | 0o644 | 2.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/tableau.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/table.spad
    
        
    
 | text/plain | root:root | 0o644 | 7.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/taylor.spad
    
        
    
 | text/x-c | root:root | 0o644 | 16.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/tex.spad
    
        
    
 | text/plain | root:root | 0o644 | 23.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/tools.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/transsolve.spad
    
        
    
 | text/plain | root:root | 0o644 | 24.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/tree.spad
    
        
    
 | text/plain | root:root | 0o644 | 22.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/trigcat.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/triset.spad
    
        
    
 | text/plain | root:root | 0o644 | 65.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/tube.spad
    
        
    
 | text/plain | root:root | 0o644 | 17.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/twofact.spad
    
        
    
 | text/plain | root:root | 0o644 | 11.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/unifact.spad
    
        
    
 | text/plain | root:root | 0o644 | 12.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/updecomp.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/updivp.spad
    
        
    
 | text/plain | root:root | 0o644 | 2.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/utsode.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/variable.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/vector.spad
    
        
    
 | text/plain | root:root | 0o644 | 19.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/view2D.spad
    
        
    
 | text/plain | root:root | 0o644 | 47.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/view3D.spad
    
        
    
 | text/plain | root:root | 0o644 | 44.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/viewDef.spad
    
        
    
 | text/plain | root:root | 0o644 | 10.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/viewpack.spad
    
        
    
 | text/plain | root:root | 0o644 | 5.7 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/void.spad
    
        
    
 | text/plain | root:root | 0o644 | 4.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/weier.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/wtpol.spad
    
        
    
 | text/plain | root:root | 0o644 | 6.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/xlpoly.spad
    
        
    
 | text/plain | root:root | 0o644 | 40.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/xpoly.spad
    
        
    
 | text/plain | root:root | 0o644 | 35.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ystream.spad
    
        
    
 | text/plain | root:root | 0o644 | 2.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/src/algebra/zerodim.spad
    
        
    
 | text/plain | root:root | 0o644 | 48.6 KB | 
        
            
                | 
    
        
    
    
    /usr/share/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/share/doc/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/share/doc/open-axiom-source/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
    
    /usr/share/doc/open-axiom-source/changelog.Debian.gz
    
 | application/gzip | root:root | 0o644 | 607 bytes | 
        
            
                | 
    
        
    
    
    /usr/share/doc/open-axiom-source/copyright
    
        
    
 | text/plain | root:root | 0o644 | 3.6 KB |