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 --
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)),
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
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
