diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-07 15:10:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-07 15:10:31 +0000 |
commit | cddf510296900897a19d67614e4cf4e145da8646 (patch) | |
tree | a33b24a2411ea5242f229d57dbd33a396012409f | |
parent | 37b62857fd265cc8bfd157b5cb206f87be29c89c (diff) | |
download | open-axiom-cddf510296900897a19d67614e4cf4e145da8646.tar.gz |
Tidy linear elements implememtations
-rw-r--r-- | src/ChangeLog | 5 | ||||
-rw-r--r-- | src/algebra/vector.spad.pamphlet | 10 |
2 files changed, 10 insertions, 5 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index fc313876..6ebef4bb 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/vector.spad.pamphlet (LinearElement) [corodinates]: Tidy. + (LineraForm) [coordinates]: Likewise. + +2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory): Now extends ConvertibleFrom IndexedProductTerm(A,S). (IndexedDirectProductObject): Simplify. diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet index 110758da..caca4c30 100644 --- a/src/algebra/vector.spad.pamphlet +++ b/src/algebra/vector.spad.pamphlet @@ -527,8 +527,8 @@ LinearElement(K,B): Public == Private where ts := terms rep x for i in 1..n repeat t := first ts - lookup first t = i => - v.i := second t + lookup index t = i => + v.i := coefficient t ts := rest ts v @ @@ -568,8 +568,8 @@ LinearForm(K,B): Public == Private where ts := terms rep f for i in 1..n repeat t := first ts - lookup first t = i => - v.i := second t + lookup index t = i => + v.i := coefficient t ts := rest ts v @@ -584,7 +584,7 @@ LinearForm(K,B): Public == Private where <<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 |