Changeset 1799 for branches

Timestamp:

2015-06-15T11:48:01-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (2 diffs)

branches/f4grobner/mx-grobner.lisp

@@ -304 +304 @@
 |#
 
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Maxima-level interface functions
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-;; Auxillary function for removing zero polynomial
-(defun remzero (plist) (remove #'poly-zerop plist))
-
-;;Simple operators
-
-(define-binop $poly_add poly-add
-  "Adds two polynomials P and Q")
-
-(define-binop $poly_subtract poly-sub
-  "Subtracts a polynomial Q from P.")
-
-(define-binop $poly_multiply poly-mul
-  "Returns the product of polynomials P and Q.")
-
-(define-binop $poly_s_polynomial spoly
-  "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")
-
-(define-unop $poly_primitive_part poly-primitive-part
-  "Returns the polynomial P divided by GCD of its coefficients.")
-
-(define-unop $poly_normalize poly-normalize
-  "Returns the polynomial P divided by the leading coefficient.")
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@@ -418 +389 @@
 
 
-
-;;Functions
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Maxima-level interface functions
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+;; Auxillary function for removing zero polynomial
+(defun remzero (plist) (remove #'poly-zerop plist))
+
+;;Simple operators
+(define-binop $poly_add poly-add
+  "Adds two polynomials P and Q")
+
+(define-binop $poly_subtract poly-sub
+  "Subtracts a polynomial Q from P.")
+
+(define-binop $poly_multiply poly-mul
+  "Returns the product of polynomials P and Q.")
+
+(define-binop $poly_s_polynomial spoly
+  "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")
+
+(define-unop $poly_primitive_part poly-primitive-part
+  "Returns the polynomial P divided by GCD of its coefficients.")
+
+(define-unop $poly_normalize poly-normalize
+  "Returns the polynomial P divided by the leading coefficient.")
+
+
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;;    More complex functions
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (defmfun $poly_expand (p vars)