diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-07 08:07:55 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-07 08:07:55 +0000 |
| commit | fe37a8dc69fe54f48078fd893a7490555ce804ed (patch) | |
| tree | 436d7b354cb522a74d81f0f4d4c1211470a04b9b /src/algebra/indexedp.spad.pamphlet | |
| parent | 410c65a878026cb16dd5a3eece5271eb60b782b1 (diff) | |
| download | open-axiom-fe37a8dc69fe54f48078fd893a7490555ce804ed.tar.gz | |
* algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.
Diffstat (limited to 'src/algebra/indexedp.spad.pamphlet')
| -rw-r--r-- | src/algebra/indexedp.spad.pamphlet | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet index d17d342c..dab47a6a 100644 --- a/src/algebra/indexedp.spad.pamphlet +++ b/src/algebra/indexedp.spad.pamphlet @@ -54,6 +54,33 @@ IndexedDirectProductCategory(A:BasicType,S:OrderedType): Category == @ +\section{domain IDPT IndexedProductTerm} + +<<domain IDPT IndexedProductTerm>>= +)abbrev domain IDPT IndexedProductTerm +++ Author: Gabriel Dos Reis +++ Date Last Updated: May 7, 2013 +++ Description: +++ An indexed product term is a utility domain used in the +++ representation of indexed direct product objects. +IndexedProductTerm(A,S): Public == Private where + A: BasicType + S: OrderedType + Public == Join(BasicType,CoercibleTo Pair(S,A)) with + term : (S, A) -> % + ++ \spad{term(s,a)} constructs a term with index \spad{s} + ++ and coefficient \spad{a}. + index : % -> S + ++ \spad{index t} returns the index of the term \spad{t}. + coefficient : % -> A + ++ \spad{coefficient t} returns the coefficient of the tern \spad{t}. + Private == Pair(S,A) add + term(s,a) == per [s,a] + index t == first rep t + coefficient t == second rep t + coerce(t: %): Pair(S,A) == rep t +@ + \section{domain IDPO IndexedDirectProductObject} <<domain IDPO IndexedDirectProductObject>>= )abbrev domain IDPO IndexedDirectProductObject @@ -334,7 +361,7 @@ IndexedDirectProductAbelianGroup(A:AbelianGroup,S:OrderedType): <<license>>= --Copyright (C) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. ---Copyright (C) 2007-2010, Gabriel Dos Reis. +--Copyright (C) 2007-2013, Gabriel Dos Reis. --All rights reserved. -- --Redistribution and use in source and binary forms, with or without @@ -369,6 +396,7 @@ IndexedDirectProductAbelianGroup(A:AbelianGroup,S:OrderedType): <<license>> <<category IDPC IndexedDirectProductCategory>> +<<domain IDPT IndexedProductTerm>> <<domain IDPO IndexedDirectProductObject>> <<domain IDPAM IndexedDirectProductAbelianMonoid>> <<domain IDPOAM IndexedDirectProductOrderedAbelianMonoid>> |