diff options
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index b56c9a97..b9780274 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -14,7 +14,7 @@ )abbrev category AMR AbelianMonoidRing ++ Author: ++ Date Created: -++ Date Last Updated: +++ Date Last Updated: May 19, 2013. ++ Basic Functions: ++ Related Constructors: ++ Also See: @@ -33,16 +33,13 @@ ++ Conceptually at least, only the non-zero terms are ever operated on. AbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == - Join(Ring,BiModule(R,R)) with + Join(Ring,BiModule(R,R),Functorial R) with leadingCoefficient: % -> R ++ leadingCoefficient(p) returns the coefficient highest degree term of p. leadingMonomial: % -> % ++ leadingMonomial(p) returns the monomial of p with the highest degree. degree: % -> E ++ degree(p) returns the maximum of the exponents of the terms of p. - map: (R -> R, %) -> % - ++ map(fn,u) maps function fn onto the coefficients - ++ of the non-zero monomials of u. monomial?: % -> Boolean ++ monomial?(p) tests if p is a single monomial. monomial: (R,E) -> % @@ -1100,6 +1097,8 @@ CommuteUnivariatePolynomialCategory(R, UP, UPUP): Exports == Impl where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2013, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |