close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 1799 for branches/f4grobner


Ignore:
Timestamp:
2015-06-15T11:48:01-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/mx-grobner.lisp

    r1798 r1799  
    304304|#
    305305
    306 
    307 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    308 ;;
    309 ;; Maxima-level interface functions
    310 ;;
    311 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    312 
    313 ;; Auxillary function for removing zero polynomial
    314 (defun remzero (plist) (remove #'poly-zerop plist))
    315 
    316 ;;Simple operators
    317 
    318 (define-binop $poly_add poly-add
    319   "Adds two polynomials P and Q")
    320 
    321 (define-binop $poly_subtract poly-sub
    322   "Subtracts a polynomial Q from P.")
    323 
    324 (define-binop $poly_multiply poly-mul
    325   "Returns the product of polynomials P and Q.")
    326 
    327 (define-binop $poly_s_polynomial spoly
    328   "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")
    329 
    330 (define-unop $poly_primitive_part poly-primitive-part
    331   "Returns the polynomial P divided by GCD of its coefficients.")
    332 
    333 (define-unop $poly_normalize poly-normalize
    334   "Returns the polynomial P divided by the leading coefficient.")
    335306
    336307;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     
    418389
    419390
    420 
    421 ;;Functions
     391;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     392;;
     393;; Maxima-level interface functions
     394;;
     395;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     396
     397;; Auxillary function for removing zero polynomial
     398(defun remzero (plist) (remove #'poly-zerop plist))
     399
     400;;Simple operators
     401(define-binop $poly_add poly-add
     402  "Adds two polynomials P and Q")
     403
     404(define-binop $poly_subtract poly-sub
     405  "Subtracts a polynomial Q from P.")
     406
     407(define-binop $poly_multiply poly-mul
     408  "Returns the product of polynomials P and Q.")
     409
     410(define-binop $poly_s_polynomial spoly
     411  "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")
     412
     413(define-unop $poly_primitive_part poly-primitive-part
     414  "Returns the polynomial P divided by GCD of its coefficients.")
     415
     416(define-unop $poly_normalize poly-normalize
     417  "Returns the polynomial P divided by the leading coefficient.")
     418
     419
     420
     421;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     422;;
     423;;    More complex functions
     424;;
     425;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    422426
    423427(defmfun $poly_expand (p vars)
Note: See TracChangeset for help on using the changeset viewer.