Re: i^2=1
- To: mathgroup at smc.vnet.net
- Subject: [mg129918] Re: i^2=1
- From: John Doty <noqsiaerospace at gmail.com>
- Date: Tue, 26 Feb 2013 01:08:53 -0500 (EST)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-newout@smc.vnet.net
- Delivered-to: mathgroup-newsend@smc.vnet.net
- References: <kgf39a$mij$1@smc.vnet.net>
On Monday, February 25, 2013 12:19:06 AM UTC-7, fc3... at uni-hamburg.de wrote:
> No, not I^2=-1 :-)
>
> But similarly: I'd like to have a symbol with the
>
> property i^2=1. And not like slashdotting with
>
> {i^2->1} (which then ignores i^3 and (i+1)(i-1)),
>
> but really automatically i^2=1 as soon as it appears
>
> somewhere, like for I.
>
>
>
> How do I define that?
Use TagSet[]:
In[1]:= i/:i^2=1;
In[2]:= i^2
Out[2]= 1