> We need a mapping between manifolds, e.g. between the set of
> independent variables of one DFORM into the independent variables of
> another DFORM.
>
> My first thought is that maybe pullback and pushforward should be
> exports of a package that is parameterized by a list of expressions.
On 8 October 2014 20:26, Kurt Pagani wrote:
>
> Some more bricks ...
> attached is a first draft of the functions which IMO should be sufficient.
Thanks!
> Pull-back/push-forward have to be presumably in a higher-level domain as we
> need a mapping F:X -->Y between two DFORM domains (??)
>
We n
There is some unpleasant code in DERHAM that presumes knowledge of the
Rep of AntiSymm:
terms : % -> List Record(k: EAB, c: R)
terms(a) ==
-- it is the case that there are at least two terms in a
a pretend List Record(k: EAB, c: R)
I recall that this sort of thing was
On 8 October 2014 17:43, Ralf Hemmecke wrote:
> On 10/08/2014 04:07 PM, Bill Page wrote:
>
>> Where do you think we should look for a possible "boundary operator"?
>
> I don't quite get your question. If I look at
Earlier you wrote:
On 8 October 2014 03:31, Ralf Hemmecke wrote:
> ...
> It doesn
On 10/08/2014 04:07 PM, Bill Page wrote:
> Ralf,
>
> I would be interested if you could elaborate on this idea. Yes,
> MonoidRing looks like it should be relevant and I agree that in the
> development of functionality in a new area like DifferentalGeometry
> one should be aware of and integrate w
Ralf,
I would be interested if you could elaborate on this idea. Yes,
MonoidRing looks like it should be relevant and I agree that in the
development of functionality in a new area like DifferentalGeometry
one should be aware of and integrate where possible existing related
domains, e.g. FriCAS a
On 8 October 2014 03:17, Ralf Hemmecke wrote:
> On 10/08/2014 04:07 AM, Bill Page wrote:
>> Something goes wrong with the display of a SquareMatrix with computed
>> dependent size parameter that is passed as a parameter to a type.
>
>> DifferentialGeometry(CoefRing, listIndVar : List Symbol, g:SMR
On 10/07/2014 09:49 PM, Kurt Pagani wrote:
> I'm glad to hear. Maybe you could think about (or more if time allows ;)
> how to implement simplices in the spirit of
> http://en.wikipedia.org/wiki/Simplicial_homology such that one has for
> instance formal sums of simplexes with integer coefficien
On 10/08/2014 04:07 AM, Bill Page wrote:
> Something goes wrong with the display of a SquareMatrix with computed
> dependent size parameter that is passed as a parameter to a type.
> DifferentialGeometry(CoefRing, listIndVar : List Symbol, g:SMR) :
> Export == Implement where
> CoefRing : Join(