Noted. But the logic of it is vague. The two sites are distinct, wikipedia.org and mapleadvisor.com.

That Maple Wiki has a lot of shortcomings.

Many of the pages on it that describe Maple in detail contain inaccuracies. For example, this page indicates that the author does not understand that Maple uses an interpreter rather than a compiler by default. Basic notions are either incorrect or seriously incomplete on a selection of other pages I sampled, here, and here, say.

And other pages (eg. here, or here, or here) seem to not have much more content than collection of links back here to mapleprimes. Some may just be a collection of possible copyright transgressions (which is also incongruous with this).

Lack of control of the site by Maplesoft is no redeeming quality in and of itself. The site's access is still controlled by a very small number  of people (possibly one single person). And access is restricted (blocked, unblocked, and who knows what next the next day will bring...) according to the whims of individuals. This does not instil confidence in the stability of the site. It's difficult to see that the independence from Maplesoft has helped that wiki, in these respects.

Altogether, this is highly inconducive to making me want to contribute new material or fix any of the inaccuracies. Perhaps it also relates to why only two or three people have contributed anything major to it.

It needs tons of work, has no high quality control, has very low contribution from Maple community, and has suffered from (unjustified, in my opinion, if temporary) censorship.

I would prefer a full online (pristine) set of Maple's own documentation as webpages, and this mapleprimes site for commentary/techniques/etc.

That Maple Wiki has a lot of shortcomings.

Many of the pages on it that describe Maple in detail contain inaccuracies. For example, this page indicates that the author does not understand that Maple uses an interpreter rather than a compiler by default. Basic notions are either incorrect or seriously incomplete on a selection of other pages I sampled, here, and here, say.

And other pages (eg. here, or here, or here) seem to not have much more content than collection of links back here to mapleprimes. Some may just be a collection of possible copyright transgressions (which is also incongruous with this).

Lack of control of the site by Maplesoft is no redeeming quality in and of itself. The site's access is still controlled by a very small number  of people (possibly one single person). And access is restricted (blocked, unblocked, and who knows what next the next day will bring...) according to the whims of individuals. This does not instil confidence in the stability of the site. It's difficult to see that the independence from Maplesoft has helped that wiki, in these respects.

Altogether, this is highly inconducive to making me want to contribute new material or fix any of the inaccuracies. Perhaps it also relates to why only two or three people have contributed anything major to it.

It needs tons of work, has no high quality control, has very low contribution from Maple community, and has suffered from (unjustified, in my opinion, if temporary) censorship.

I would prefer a full online (pristine) set of Maple's own documentation as webpages, and this mapleprimes site for commentary/techniques/etc.

I just use the F5 key to toggle between 1D and 2D input modes, when I'm in a Worksheet in the Standard GUI.

I just use the F5 key to toggle between 1D and 2D input modes, when I'm in a Worksheet in the Standard GUI.

So, to start more simply, taking this result,

> int(Dirac(x),x=0..t);
                              Heaviside(t) - 1/2

The Heaviside is there because `int` wasn't told the sign of t.

And the +-1/2 results allow some additive properties of integrals to hold, and follows naturally by a symmetry argument. Ie,

> EQ := Int(Dirac(x),x=-t..t) = Int(Dirac(x),x=-t..0) + Int(Dirac(x),x=0..t);
                  t                  0                  t
                 /                  /                  /
                |                  |                  |
         EQ :=  |   Dirac(x) dx =  |   Dirac(x) dx +  |   Dirac(x) dx
                |                  |                  |
               /                  /                  /
                 -t                 -t                 0
 
> value(EQ);
                    2 Heaviside(t) - 1 = 2 Heaviside(t) - 1
 
> value(EQ) assuming t>0;
                                     1 = 1
 
> combine(EQ);
                         t                  t
                        /                  /
                       |                  |
                       |   Dirac(x) dx =  |   Dirac(x) dx
                       |                  |
                      /                  /
                        -t                 -t

It's nice, that the above holds in Maple.

I don't follow you, about taking the definite integral from zero (instead of over R, or from -t to t), as far as the "theorem of convolution" goes.

Is there some other aspect of the original result, that was puzzling?

So, to start more simply, taking this result,

> int(Dirac(x),x=0..t);
                              Heaviside(t) - 1/2

The Heaviside is there because `int` wasn't told the sign of t.

And the +-1/2 results allow some additive properties of integrals to hold, and follows naturally by a symmetry argument. Ie,

> EQ := Int(Dirac(x),x=-t..t) = Int(Dirac(x),x=-t..0) + Int(Dirac(x),x=0..t);
                  t                  0                  t
                 /                  /                  /
                |                  |                  |
         EQ :=  |   Dirac(x) dx =  |   Dirac(x) dx +  |   Dirac(x) dx
                |                  |                  |
               /                  /                  /
                 -t                 -t                 0
 
> value(EQ);
                    2 Heaviside(t) - 1 = 2 Heaviside(t) - 1
 
> value(EQ) assuming t>0;
                                     1 = 1
 
> combine(EQ);
                         t                  t
                        /                  /
                       |                  |
                       |   Dirac(x) dx =  |   Dirac(x) dx
                       |                  |
                      /                  /
                        -t                 -t

It's nice, that the above holds in Maple.

I don't follow you, about taking the definite integral from zero (instead of over R, or from -t to t), as far as the "theorem of convolution" goes.

Is there some other aspect of the original result, that was puzzling?

You might wish to search this site for related items. For example, here and here. It may also be a cups/java interaction problem, so web-searching might turn up results.

> evalf(Limit( (ceil(x)+floor(-x)), x=1));
                                Float(infinity)

> with(ListTools):
> LengthSplit(map(parse,StringTools:-Explode(convert(12010678,string))),3);
                         [1, 2, 0], [1, 0, 6], [7, 8]
 
> Reverse(map(Reverse,[LengthSplit(Reverse(map(parse,
> StringTools:-Explode(convert(12010678,string)))),3)]));
                        [[1, 2], [0, 1, 0], [6, 7, 8]]

> with(ListTools):
> LengthSplit(map(parse,StringTools:-Explode(convert(12010678,string))),3);
                         [1, 2, 0], [1, 0, 6], [7, 8]
 
> Reverse(map(Reverse,[LengthSplit(Reverse(map(parse,
> StringTools:-Explode(convert(12010678,string)))),3)]));
                        [[1, 2], [0, 1, 0], [6, 7, 8]]

Transpose is part of the LinearAlgebra package. So either load LinearAlgebra using with(), or call it as LinearAlgebra:-Transpose, or raise the Matrix to the %T power.

Also, Matrix is different from matrix. The capitalization matters.

Transpose is part of the LinearAlgebra package. So either load LinearAlgebra using with(), or call it as LinearAlgebra:-Transpose, or raise the Matrix to the %T power.

Also, Matrix is different from matrix. The capitalization matters.

It looks like the chain rule to me.

It looks like the chain rule to me.