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 3023


Ignore:
Timestamp:
2015-06-21T16:23:32-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ring.lisp

    r3019 r3023  
    100100  (:documentation "Multiplies ring elements."))
    101101
    102 (defgeneric r-tensor-product (x y)
    103   (:documentation "Takes a tensor product of two objects."))
     102(defgeneric lef-tensor-productby (self other)
     103  (:documentation "Takes a tensor product of SELF with OTHER, where
     104OTHER is the left factor."))
    104105
    105106(defgeneric r/ (x y)
    … …  
    163164(defgeneric r-sugar (object))
    164165(defgeneric r-rel-prime-p (object1 object2))
    165 (defgeneric r-contract (object k))
     166(defgeneric left-contract (object k))
    166167(defgeneric r-divisible-by-p (object1 object2))
    167168(defgeneric r-depends-p (object k))
Note: See TracChangeset for help on using the changeset viewer.