diff options
Diffstat (limited to 'src/algebra/mring.spad.pamphlet')
| -rw-r--r-- | src/algebra/mring.spad.pamphlet | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/algebra/mring.spad.pamphlet b/src/algebra/mring.spad.pamphlet index 9521b586..8eafac0a 100644 --- a/src/algebra/mring.spad.pamphlet +++ b/src/algebra/mring.spad.pamphlet @@ -14,7 +14,7 @@ )abbrev domain MRING MonoidRing ++ Authors: Stephan M. Watt; revised by Johannes Grabmeier ++ Date Created: January 1986 -++ Date Last Updated: 14 December 1995, Mike Dewar +++ Date Last Updated: May 13, 2013. ++ Basic Operations: *, +, monomials, coefficients ++ Related Constructors: Polynomial ++ Also See: @@ -42,7 +42,7 @@ MonoidRing(R: Ring, M: Monoid): MRcategory == MRdefinition where Term ==> Record(coef: R, monom: M) - MRcategory ==> Join(Ring, RetractableTo M, RetractableTo R) with + MRcategory == Join(Ring,RetractableTo M,RetractableTo R,Functorial R) with monomial : (R, M) -> % ++ monomial(r,m) creates a scalar multiple of the basis element m. coefficient : (%, M) -> R @@ -54,9 +54,6 @@ MonoidRing(R: Ring, M: Monoid): MRcategory == MRdefinition where ++ terms(f) gives the list of non-zero coefficients combined ++ with their corresponding basis element as records. ++ This is the internal representation. - map : (R -> R, %) -> % - ++ map(fn,u) maps function fn onto the coefficients - ++ of the non-zero monomials of u. monomial? : % -> Boolean ++ monomial?(f) tests if f is a single monomial. coefficients: % -> List R @@ -361,6 +358,8 @@ MonoidRingFunctions2(R,S,M) : Exports == Implementation 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 |