On 03/26/2016 11:47 AM, Martin Baker wrote:
Hi Martin
Just a small hint... I didn't yet have much time to go over your code.
https://github.com/martinbaker/multivector/blob/master/algebraictopology.spad#L134
Why do you write something like this?
join:(a:%,b:%) -> %
where
join: (%, %) -> %
wo
Hallo Martin
I've been glancing over your code @github...algebraictopology.spad and
I'm quite impressed how elaborate it is. Although I didn't
perform any calculations yet, I can see that one can already solve some
simple problems. I'm using an embedding of Kenzo at the moment --
https://www-fouri
Another thing which we should probably clean up. In vector.spad
we have:
if R has RadicalCategory and R has Ring then
length : % -> R
++ length(v) computes the sqrt(dot(v, v)), i.e. the magnitude
magnitude : % -> R
++ magnitude(v) computes the sqrt(dot(v, v)), i.e.
Hello Waldek,
the code below is a cut down version of what I would like to have.
In fact, the code works if I replace the line
Y: (E: EuclideanDomain, A: QEtaAlgebra E) -> QEtaComputationCategory(E, A)
by
Y: QEtaComputationCategory(C, F)
and use Y instead of Y(C, F) in the body of algebraB
Am 27.03.2016 um 21:04 schrieb Waldek Hebisch:
>
> I will not rush removal of FreeAbelianGroup. AFAICS
> FreeModule and IndexedDirectProductObject should be improved
> to serve as replacement for FreeAbelianGroup. Also,
> Comparable should propagate to more domains to
> allow efficient impleme
