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.
  
 
      
      
    
      
      
      
      
      
      
      
      
| Line |  | 
|---|
| 1 | (in-package :division) | 
|---|
| 2 |  | 
|---|
| 3 | #+nil | 
|---|
| 4 | (let ((f (string->poly "x^2" '(x y))) | 
|---|
| 5 | ;;(y-sq (string->poly "y^2" '(x y))) | 
|---|
| 6 | (fl (cdr (string->poly "[x+y,x-2*y]" '(x y)))) | 
|---|
| 7 | ;;(quotients (cdr (string->poly "[x-y,0]" '(x y)))) | 
|---|
| 8 | ) | 
|---|
| 9 | (multiple-value-bind (f c division-count) | 
|---|
| 10 | (step (normal-form f fl)) | 
|---|
| 11 | (format t "Quotient:        ~S~%" (->sexp f)) | 
|---|
| 12 | (format t "Coefficient:     ~S~%" c) | 
|---|
| 13 | (format t "Division count:  ~S~%" division-count))) | 
|---|
| 14 |  | 
|---|
| 15 | (let ((f (string->poly "x^2" '(x y))) | 
|---|
| 16 | ;;(y-sq (string->poly "y^2" '(x y))) | 
|---|
| 17 | (fl (cdr (string->poly "[x+y,x-2*y]" '(x y)))) | 
|---|
| 18 | ;;(quotients (cdr (string->poly "[x-y,0]" '(x y)))) | 
|---|
| 19 | ) | 
|---|
| 20 | (multiple-value-bind (a r c division-count) | 
|---|
| 21 | (poly-pseudo-divide f fl) | 
|---|
| 22 | (format t "Quotients:        ~S~%" (poly->string (cons :[ a) '(x y))) | 
|---|
| 23 | (format t "Remainder:        ~S~%" (->sexp r '(x y))) | 
|---|
| 24 | (format t "Coefficient:     ~S~%" c) | 
|---|
| 25 | (format t "Division count:  ~S~%" division-count))) | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.
 
     
        
    
    
      Download in other formats: