/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.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/aggcat.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    91.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/aggcat2.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.6 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.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/array2.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    11.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/attreg.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.3 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
                 | 
                
                    
    7.9 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
                 | 
                
                    
    67.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.2 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
                 | 
                
                    
    13.9 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/draw.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    47.8 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/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.2 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/expr.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    32.2 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/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/ffp.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    12.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffpoly.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    43.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ffpoly2.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.2 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/fr.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    22.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/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/gb.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.3 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/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
                 | 
                
                    
    13.7 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.6 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/list.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    19.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/listgcd.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lmdict.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/lodo.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    10.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/logic.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    15.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.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/matfuns.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    27.9 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
                 | 
                
                    
    14.2 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/modmon.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/modmonom.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.5 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.3 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/naalg.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    39.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/naalgc.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    48.5 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/op.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    21.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/opalg.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/ore.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    22.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/out.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    9.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/outform.spad
    
        
    
                 | 
                
                    text/x-lisp
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    27.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/pade.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/padic.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    17.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/padiclib.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    22.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/paramete.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/parsers.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 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/perm.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    16.4 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/pf.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.0 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/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/plot.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    22.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/plot3d.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    19.0 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.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/poltopol.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/poly.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    42.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/polycat.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    44.1 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/s.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    28.0 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.8 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/si.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    12.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/sign.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    12.9 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.2 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.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/stream.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    37.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/string.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    17.1 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/table.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/src/algebra/tableau.spad
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.8 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
                 | 
                
                    
    21.9 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.3 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.0 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
                 |