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 4077


Ignore:
Timestamp:
2016-05-31T21:33:31-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/division.lisp

    r4075 r4077  
    3131           "BUCHBERGER-CRITERION"
    3232           "GROBNER-TEST"
    33            ))
     33           )
     34  (:documentation
     35   "An implementation of the division algorithm"))
    3436
    3537(in-package :division)
    … …  
    3941Top reduction means that division algorithm stops after the first reduction.")
    4042
    41 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    42 ;;
    43 ;; An implementation of the division algorithm
    44 ;;
    45 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    4643
    4744(defun grobner-op (c1 c2 m f g)
Note: See TracChangeset for help on using the changeset viewer.