Changeset 7622:8a7ae2fb67c6
- Timestamp:
- 12/12/07 04:32:07 (5 years ago)
- Branch:
- default
- Children:
- 7623:d105d8fda527, 7629:c9c6701f535d
- Location:
- sage/rings/polynomial
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
sage/rings/polynomial/all.py
r5311 r7622 33 33 # Generic convolution 34 34 from sage.rings.polynomial.convolution import convolution 35 36 # Boolean Polynomial Rings 37 from sage.rings.polynomial.pbori import BooleanPolynomialRing -
sage/rings/polynomial/pbori.pyx
r7600 r7622 1 r""" nodoctest1 r""" 2 2 Boolean Polynomials via PolyBoRi. 3 3 … … 428 428 EXAMPLES: 429 429 sage: P.<x,y> = BooleanPolynomialRing(2) 430 sage: M = BooleanMonomialMonoid(P)430 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 431 431 sage: M 432 432 MonomialMonoid of Boolean PolynomialRing in x, y … … 455 455 EXAMPLES: 456 456 sage: P = BooleanPolynomialRing(100, 'x') 457 sage: M = BooleanMonomialMonoid(P)457 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 458 458 sage: M.ngens() 459 459 100 … … 467 467 EXAMPLES: 468 468 sage: P.<x,y,z> = BooleanPolynomialRing(3) 469 sage: M = BooleanMonomialMonoid(P)469 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 470 470 sage: M.gen(0) 471 471 x … … 474 474 475 475 sage: P = BooleanPolynomialRing(1000, 'x') 476 sage: M = BooleanMonomialMonoid(P)476 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 477 477 sage: M.gen(50) 478 478 x50 … … 487 487 EXAMPLES: 488 488 sage: P.<x,y,z> = BooleanPolynomialRing(3) 489 sage: M = BooleanMonomialMonoid(P)489 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 490 490 sage: M.gens() 491 491 (x, y, z) … … 506 506 EXAMPLES: 507 507 sage: P.<x,y,z> = BooleanPolynomialRing(3) 508 sage: M = BooleanMonomialMonoid(P)508 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 509 509 sage: M(x+y) 510 510 Traceback (most recent call last): … … 557 557 EXAMPLES: 558 558 sage: P.<x,y,z> = BooleanPolynomialRing(3) 559 sage: M = BooleanMonomialMonoid(P)559 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 560 560 sage: M(x) < M(y) 561 561 False … … 583 583 EXAMPLES: 584 584 sage: P.<x,y> = BooleanPolynomialRing(2) 585 sage: M = BooleanMonomialMonoid(P)585 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 586 586 sage: M(x*y) 587 587 x*y … … 606 606 EXAMPLES: 607 607 sage: P.<x,y,z> = BooleanPolynomialRing(3) 608 sage: M = BooleanMonomialMonoid(P)608 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 609 609 sage: M(x*y).deg() 610 610 2 … … 621 621 EXAMPLES: 622 622 sage: P.<x,y,z> = BooleanPolynomialRing(3) 623 sage: M = BooleanMonomialMonoid(P)623 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 624 624 sage: len(M(x*y)) 625 625 2 … … 633 633 EXAMPLES: 634 634 sage: P.<x,y,z> = BooleanPolynomialRing(3) 635 sage: M = BooleanMonomialMonoid(P)635 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 636 636 sage: list(iter(M(x*z))) 637 637 [0, 2] … … 645 645 EXAMPLES: 646 646 sage: P.<x,y,z> = BooleanPolynomialRing(3) 647 sage: M = BooleanMonomialMonoid(P)647 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 648 648 sage: x = M(x); xy = M(x*y); z=M(z) 649 649 sage: x*x … … 667 667 EXAMPLES: 668 668 sage: P.<x,y,z> = BooleanPolynomialRing(3) 669 sage: M = BooleanMonomialMonoid(P)669 sage: M = sage.rings.polynomial.pbori.BooleanMonomialMonoid(P) 670 670 sage: x = M(x); xy = M(x*y) 671 671 sage: x + xy
Note: See TracChangeset
for help on using the changeset viewer.
