Changeset 1799
- Timestamp:
- 2015-06-15T11:48:01-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1798 r1799 304 304 |# 305 305 306 307 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;308 ;;309 ;; Maxima-level interface functions310 ;;311 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;312 313 ;; Auxillary function for removing zero polynomial314 (defun remzero (plist) (remove #'poly-zerop plist))315 316 ;;Simple operators317 318 (define-binop $poly_add poly-add319 "Adds two polynomials P and Q")320 321 (define-binop $poly_subtract poly-sub322 "Subtracts a polynomial Q from P.")323 324 (define-binop $poly_multiply poly-mul325 "Returns the product of polynomials P and Q.")326 327 (define-binop $poly_s_polynomial spoly328 "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")329 330 (define-unop $poly_primitive_part poly-primitive-part331 "Returns the polynomial P divided by GCD of its coefficients.")332 333 (define-unop $poly_normalize poly-normalize334 "Returns the polynomial P divided by the leading coefficient.")335 306 336 307 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; … … 418 389 419 390 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 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 422 426 423 427 (defmfun $poly_expand (p vars)
Note:
See TracChangeset
for help on using the changeset viewer.