19
$\begingroup$

This question may end up [closed], but I'm going to ask and let the people decide. It's certainly the kind of question that I'd ask people at tea, and it's not one whose answer I've been able find with Google.

TeX, I have heard, is Turing complete. In theory, this means that we can do modular arithmetic with LaTeX programs. I'd like to know how this can be done in practice.

Background: I've been using the \foreach command in TikZ to draw NxN arrays of nodes, indexed by pairs of integers (m,n). I'd like to be able to use modular arithmetic and an ifthenelse statement to put different decorations on the nodes, depending on the value of (m+n) mod p. Obviously, one can just do this by hand. But that's not the world I want to live in.

$\endgroup$
3
  • $\begingroup$ TeX is Turing complete, but LaTeX may not be (without getting your hands dirty and writing actual TeX). In any case, I wasn't even aware of the TikZ and PGF packages. Allegedly they interact okay with Beamer? I've got to try it out for my next talk. $\endgroup$ Mar 20, 2010 at 1:21
  • 6
    $\begingroup$ They were written so as to develop Beamer, in fact. $\endgroup$ Mar 20, 2010 at 1:21
  • 1
    $\begingroup$ Haha, I thought this question was about typsetting a paper in $\LaTeX$ $\endgroup$ Nov 8, 2013 at 11:34

3 Answers 3

25
$\begingroup$

Get a current version of TikZ and use \pgfmathmod!

$\endgroup$
7
  • 6
    $\begingroup$ The best proof I can imagine of of TeX's Turing completeness is that TikZ is at all possible... $\endgroup$ Mar 20, 2010 at 1:14
  • 9
    $\begingroup$ ...and, of course, Til Tantau's existance is ample proof that one can be amazingly smart and nice at the same time! $\endgroup$ Mar 20, 2010 at 1:21
  • 1
    $\begingroup$ There is an \pgfmathifthenelse function in TikZ, too. You should really browse the documentation, the first half of Part VII. $\endgroup$ Mar 20, 2010 at 1:40
  • 2
    $\begingroup$ You can always use Google's computers! docs.google.com/… $\endgroup$ Mar 20, 2010 at 1:48
  • 12
    $\begingroup$ With Mariano's help, I got my code to work out. I'm posting an example here, so that people don't have to guess how it's done. \begin{tikzpicture} \foreach \x in {0,...,4} \foreach \y in {0,...,4} \pgfmathparse{mod(\x+\y,2)} \let\tf\pgfmathresult \ifthenelse{\equal{\tf}{1.0}}{\draw (\x,\y) node [circle,draw] {}}{\draw (\x,\y) node [circle,draw,fill] {}}; \end{tikzpicture} $\endgroup$
    – user1504
    Mar 20, 2010 at 3:38
5
$\begingroup$

I find TikZ unnecessary complicated for such an easy task as modular arithmetic. TeX has commands for addition/subtraction, multiplication, and division (\advance, \multiply, \divide). To perform modular addition or subtraction you need to perform ordinary addition or subtraction and then subtract or add p if necessary. Modular multiplication is only slightly more complicated: Perform ordinary multiplication, divide and multiply the product by p and subtract the result from the original product, obtaining the remainder.

$\endgroup$
1
  • 2
    $\begingroup$ Of course, he wants modular arithmetic to facilitate producing figures with certain features. He's using TikZ anyway, in order to produce these figures; that's the point of his question. --- Sure he can use e.g. \ifnum and \advance to perform modular arithmetic by hand with TeX, rather than \pgfmathmod as described in another answer. But unless there is a substantial difference in performance, the best programming practise (i.e. the best practise in any form of documented problem-solving) is to use the more 'abstract' rather than the more 'explicit' technique. $\endgroup$ Mar 20, 2010 at 9:57
5
$\begingroup$

I've had to implement a lot of code in TeX while writing a package for drawing spectral sequences (sseq.sty). pgf makes computations in TeX easier, but if you really have a significant amount of code, I recommend you take a look at luatex/lualatex, which is included in many distributions and merges TeX with an interpreter for the easy-and-fast language Lua, which you can learn in a couple of hours. It's much more readable and speeds up the typesetting enormously.

TeX may be Turing complete (LaTeX as well, by the way), but so is a Turing machine, and you wouldn't want to implement modular arithmetic on a Turing machine, would you?

$\endgroup$

Your Answer

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

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