Sponsored links: Algebra eBooks
 

Related

subsetp

subsetp ({1, 2, 3}, {...

subsetp ({a, 1, b, 2...

Calculate

subsetp

subsetp({}, {{}});

Calculate

subsetp

subsetp ({1, 2, 3}, {...

subsetp ({a, 1, b, 2...

Calculate

subsetp

subsetp({}, {{}});

Calculate

subsetp

Run Example
(%i1)load(grobner);

Loading maxima-grobner $Revision: 1.6 $ $Date: 2009/06/02 07:49:49 $
(%o1)     /usr/share/maxima/5.21.1/share/contrib/Grobner/grobner.lisp
(%i2) poly_monomial_order:'lex;
(%o2)                                 lex
(%i3) a1:x+y+z-3;
(%o3)                            z + y + x - 3
(%i4) a2:x^2+y^2+z^2-5;
                                2    2    2
(%o4)                          z  + y  + x  - 5
(%i5) a3:x^3+y^3+z^3-7;
                                3    3    3
(%o5)                          z  + y  + x  - 7
(%i6) a4:x+y+z-3;
(%o6)                            z + y + x - 3
(%i7) a5:y^2+yz+z^2-3*y-3*z+2;
                          2               2
(%o7)                    z  - 3 z + yz + y  - 3 y + 2
(%i8) a6:z^3-3*z^2-x/3-y/3+5*z/3+5/3;
                           3      2   5 z   y   x   5
(%o8)                     z  - 3 z  + --- - - - - + -
                                       3    3   3   3
(%i9) poly_grobner_subsetp([a1,a2,a3],[a4,a5,a6],[x,y,z]);
(%o9)                                false
(%i10) 
Run Example
eq1:y+x=54;
(%o1)                             y + x = 54
(%i2) eq2:y=3*x+8;
(%o2)                             y = 3 x + 8
(%i3) linsolve([eq1,eq2],[x,y]);
                                    23      85
(%o3)                          [x = --, y = --]
                                    2       2
(%i4) subsetp({1,2,3},{3,2,1});
(%o4)                                true
(%i5) 
Run Example
load(grobner);

Loading maxima-grobner $Revision: 1.6 $ $Date: 2009/06/02 07:49:49 $
(%o1)     /usr/share/maxima/5.21.1/share/contrib/Grobner/grobner.lisp
(%i2) poly_monomial_order:'lex;
(%o2)                                 lex
(%i3) G:poly_grobner([x+y+z-3, x^2+y^2+z^2-5, x^3+y^3+z^3-7], [x,y,z]);
                       2    2    2       3    3    3
(%o3) [z + y + x - 3, z  + y  + x  - 5, z  + y  + x  - 7, 
                           2                2               3      2
                        - z  - y z + 3 z - y  + 3 y - 2, 3 z  - 9 z  + 6 z + 2]
(%i4) poly_pseudo_divide(x^4+y^4+z^4-9, G, [x,y,z]);
           3        2      2      2      2                         2
(%o4) [[- z  - 3 y z  + x z  + 9 z  - 3 y  z + 2 x y z + 18 y z - x  z - 6 x z
           3      2      2    2                     3      2
 - 27 z - y  + x y  + 9 y  - x  y - 6 x y - 27 y + x  + 3 x  + 9 x + 27, 0, 0, 
     2                     2
- 2 z  - 2 y z + 18 z - 2 y  + 6 y - 32, 4], 0, 1, 27]
(%i5) poly_grobner_member(x^4+y^4+z^4-9, G, [x,y,z]);
(%o5)                                true
(%i6) K:poly_grobner([x^4+y^4+z^4-9, x+y+z-3,  x^3+y^3+z^3-7], [x,y,z]);
        4    4    4                      3    3    3
(%o6) [z  + y  + x  - 9, z + y + x - 3, z  + y  + x  - 7, 
     2      2      2                        2
3 y z  - 9 z  + 3 y  z - 18 y z + 27 z - 9 y  + 27 y - 20, 
   4        3      3        2       2                      4
3 z  + 3 y z  - 9 z  - 9 y z  + 27 z  + 27 y z - 61 z + 3 y  - 41 y + 48, 
     5      4       2                       2
- 3 z  + 9 z  - 40 z  - 20 y z + 72 z - 20 y  + 60 y - 36, 
     6       5       4        3        2
- 9 z  + 54 z  - 81 z  - 120 z  + 396 z  - 216 z - 76]
(%i7) poly_grobner_subsetp ([x+y+z-3, x^2+y^2+z^2-5, x^3+y^3+z^3-7], K, [x,y,z]);
(%o7)                                false
(%i8) poly_grobner_subsetp ([x^4+y^4+z^4-9, x+y+z-3,  x^3+y^3+z^3-7], G, [x,y,z]);
(%o8)                                true
(%i9) 

Related Help

Help for Subsetp