[Date Index] [Thread Index] [Author Index]

Re: Infinity vs DirectedInfinity[1]

• To: mathgroup at smc.vnet.net
• Subject: [mg70536] Re: Infinity vs DirectedInfinity[1]
• From: "Chris Chiasson" <chris at chiasson.name>
• Date: Thu, 19 Oct 2006 03:21:47 -0400 (EDT)
• References: <acbec1a40610162329m404af5d6h5d54098ec764d0ad@mail.gmail.com>

So, after talking further with Andrzej Kozlowski, I now think that

Infinity is defined to be DirectedInfinity[1] (perhaps via Set, i.e.
Infinity=DirectedInfinity[1] )

and that it is DirectedInfinity[1] that has a MakeBoxes (or
equivalent) rule to display as Infinity in StandardForm and
TraditionalForm (or actually, \[Infinity], if you are in the FrontEnd
looking at an Output cell).

Although, I am not sure Andrzej actually agrees with me :-]

On 10/17/06, Chris Chiasson <chris at chiasson.name> wrote:
> Infinity is a symbol, as far as I know. However, in FullForm it is
> shown as the equivalent DirectedInfinity[1].
>
> Is there some kind of MakeBoxes rule for FullForm that makes Infinity
> show up that way?
>
> --
> http://chris.chiasson.name/
>


-- 
http://chris.chiasson.name/