0
$\begingroup$

Edit: I've found out that the book was written for Mathematica 7, which was a pretty long time ago. It boils down to changes in syntax most probably, but simple renaming to lower lettercase does not work.

Following Stan Wagon's Mathematica in Action, chapter 19, subsection 19.2, I've run into problems.

  1. I cannot redefine ReIm[z] as is done on p.496, Mathematica just states that Tag ReIm in ReIm[z_] is protected.
  2. Trying the same procedure on that page and over the course of the following two pages with a function that I've called reim[z], it's not possible to get the hyperbolic triangle.
  3. I'm then left to use ReIm[z] for the triangle, which will work regardless of whether I "redefine" or not.
  4. Those four definitions of LFT functions and turning off the division-by-zero message off, nothing happens once again.
  5. And then, regardless of what I do in the previous 4 steps, I can not get the tessellation shown on p.498. Instead, I get one of two shown below.

What I think happens is that at the time of writing the book, ReIm was not a legitimate function in Mathematica. It was probably implemented sometime afterwards and now it inadvertently affects this code as well. Is it possible to "add on" to a predefined definition in Mathematica? Or to somehow bypass these errors with a new function?

enter image description here

The problematic ReIm[z] part:

ReIm[z_]:=N[{Re[z], Im[z]}];

ReIm[ComplexInfinity]={0,1000};

Attributes[ReIm]=Listable;

The LFT (Linear Fractional Transformation) involving ReIm[z] which seems to do nothing, together with the turning off of the errors:

LFT[mat_List][z_?NumericQ] := reim[Divide @@ (mat - {z, 1})];
Off[Power::infy, General::dbyz, Divide::infy];

The most problematic part of the code:

polys = Table[{FaceForm[Hue[Random[], 0.6]], 
    Polygon[LFT[w][triangle[]]]}, {w, G}];

^This lists out errors of the type: "\emph{Indeterminate expression $\frac{0}{0}$ encountered}." While thisˇ gives one of the two attached pictures:

Graphics[{EdgeForm[Black], polys}, PlotRange -> {{-3, 4}, {0, 2.4}}, 
 Frame -> True, FrameTicks -> False]
$\endgroup$
5
  • $\begingroup$ Not everybody has a copy of the book at hand. Think about it. $\endgroup$
    – Michael E2
    May 29, 2019 at 2:03
  • $\begingroup$ Should I write down the corresponding code that's troubling me? Post it as a comment or an edit to my question? $\endgroup$
    – Kandrax
    May 29, 2019 at 2:05
  • $\begingroup$ Edit the question to include the code you want to make work. You'll be more likely to get help that way. $\endgroup$
    – Michael E2
    May 29, 2019 at 2:06
  • $\begingroup$ Why not just change the name of the function so it doesn't conflict with ReIm? $\endgroup$
    – MelaGo
    May 29, 2019 at 2:37
  • $\begingroup$ I did, I addressed it in my 2nd point. For some odd reason, that will not yield the Graphic that otherwise gets created. Which is super weird considering that the redefinition of that new function is pretty much exactly the same as ReIm, the only difference being the point at infinity $\endgroup$
    – Kandrax
    May 29, 2019 at 2:45

1 Answer 1

1
$\begingroup$

As the original was written in an older build of Mathematica, some changes have been made. The crucial part is in (re)defining an imaginary function, instead of using what is written above, use

reim[z_]:=N[ReIm[z]]

and the rest can stay as is. Some properties of lists have apparently been changed and I'm writing this in case someone else gets stuck as I did. Writing it out on a forum makes it seem really silly but it wasn't something that I had thought would fix the problem at all.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.