Mercurial > emacs
annotate lisp/play/mpuz.el @ 55512:0358ae672b40
*** empty log message ***
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Mon, 10 May 2004 18:36:09 +0000 |
parents | 695cf19ef79e |
children | eaa9acd9122c 375f2633d815 |
rev | line source |
---|---|
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
232
diff
changeset
|
1 ;;; mpuz.el --- multiplication puzzle for GNU Emacs |
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
232
diff
changeset
|
2 |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
3 ;; Copyright (C) 1990, 2002 Free Software Foundation, Inc. |
838 | 4 |
19963 | 5 ;; Author: Philippe Schnoebelen <phs@lsv.ens-cachan.fr> |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
6 ;; Overhauled: Daniel Pfeiffer <occitan@esperanto.org> |
791
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
7 ;; Keywords: games |
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
8 |
142 | 9 ;; This file is part of GNU Emacs. |
10 | |
6736
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
11 ;; GNU Emacs is free software; you can redistribute it and/or modify |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
12 ;; it under the terms of the GNU General Public License as published by |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
13 ;; the Free Software Foundation; either version 2, or (at your option) |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
14 ;; any later version. |
142 | 15 |
6736
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
16 ;; GNU Emacs is distributed in the hope that it will be useful, |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
19 ;; GNU General Public License for more details. |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
20 |
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
21 ;; You should have received a copy of the GNU General Public License |
14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
142 | 25 |
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1217
diff
changeset
|
26 ;;; Commentary: |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1217
diff
changeset
|
27 |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
28 ;; `M-x mpuz' generates a random multiplication puzzle. This is a |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
29 ;; multiplication example in which each digit has been consistently replaced |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
30 ;; with some letter. Your job is to reconstruct the original digits. Type |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
31 ;; `?' while the mode is active for detailed help. |
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1217
diff
changeset
|
32 |
791
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
33 ;;; Code: |
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
34 |
21363 | 35 (defgroup mpuz nil |
36 "Multiplication puzzle." | |
37 :prefix "mpuz-" | |
38 :group 'games) | |
39 | |
142 | 40 (random t) ; randomize |
41 | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
42 (defcustom mpuz-silent 'error |
50861
0d21b78dd68e
(mpuz-silent): Don't quote nil and t in docstrings.
Juanma Barranquero <lekktu@gmail.com>
parents:
45113
diff
changeset
|
43 "*Set this to nil if you want dings on inputs. |
0d21b78dd68e
(mpuz-silent): Don't quote nil and t in docstrings.
Juanma Barranquero <lekktu@gmail.com>
parents:
45113
diff
changeset
|
44 t means never ding, and `error' means only ding on wrong input." |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
45 :type '(choice (const :tag "No" nil) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
46 (const :tag "Yes" t) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
47 (const :tag "If correct" error)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
48 :group 'mpuz) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
49 |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
50 (defcustom mpuz-solve-when-trivial t |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
51 "*Solve any row that can be trivially calculated from what you've found." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
52 :type 'boolean |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
53 :group 'mpuz) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
54 |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
55 (defcustom mpuz-allow-double-multiplicator nil |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
56 "*Allow 2nd factors like 33 or 77." |
21363 | 57 :type 'boolean |
58 :group 'mpuz) | |
142 | 59 |
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
60 (defface mpuz-unsolved-face |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
61 '((((class color)) (:foreground "red1" :bold t)) |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
62 (t (:bold t))) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
63 "*Face to use for letters to be solved." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
64 :group 'mpuz) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
65 |
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
66 (defface mpuz-solved-face |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
67 '((((class color)) (:foreground "green1" :bold t)) |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
68 (t (:bold t))) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
69 "*Face to use for solved digits." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
70 :group 'mpuz) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
71 |
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
72 (defface mpuz-trivial-face |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
73 '((((class color)) (:foreground "blue" :bold t)) |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
74 (t (:bold t))) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
75 "*Face to use for trivial digits solved for you." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
76 :group 'mpuz) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
77 |
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
78 (defface mpuz-text-face |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
79 '((t (:inherit variable-pitch))) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
80 "*Face to use for text on right." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
81 :group 'mpuz) |
142 | 82 |
83 | |
84 ;; Mpuz mode and keymaps | |
85 ;;---------------------- | |
21363 | 86 (defcustom mpuz-mode-hook nil |
87 "Hook to run upon entry to mpuz." | |
88 :type 'hook | |
89 :group 'mpuz) | |
142 | 90 |
91 (defvar mpuz-mode-map nil | |
92 "Local keymap to use in Mult Puzzle.") | |
93 | |
94 (if mpuz-mode-map nil | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
95 (setq mpuz-mode-map (make-sparse-keymap)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
96 (define-key mpuz-mode-map "a" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
97 (define-key mpuz-mode-map "b" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
98 (define-key mpuz-mode-map "c" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
99 (define-key mpuz-mode-map "d" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
100 (define-key mpuz-mode-map "e" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
101 (define-key mpuz-mode-map "f" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
102 (define-key mpuz-mode-map "g" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
103 (define-key mpuz-mode-map "h" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
104 (define-key mpuz-mode-map "i" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
105 (define-key mpuz-mode-map "j" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
106 (define-key mpuz-mode-map "A" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
107 (define-key mpuz-mode-map "B" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
108 (define-key mpuz-mode-map "C" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
109 (define-key mpuz-mode-map "D" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
110 (define-key mpuz-mode-map "E" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
111 (define-key mpuz-mode-map "F" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
112 (define-key mpuz-mode-map "G" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
113 (define-key mpuz-mode-map "H" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
114 (define-key mpuz-mode-map "I" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
115 (define-key mpuz-mode-map "J" 'mpuz-try-letter) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
116 (define-key mpuz-mode-map "\C-g" 'mpuz-offer-abort) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
117 (define-key mpuz-mode-map "?" 'describe-mode)) |
142 | 118 |
119 (defun mpuz-mode () | |
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
120 "Multiplication puzzle mode. |
142 | 121 |
232 | 122 You have to guess which letters stand for which digits in the |
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
123 multiplication displayed inside the `*Mult Puzzle*' buffer. |
142 | 124 |
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
125 You may enter a guess for a letter's value by typing first the letter, |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
126 then the digit. Thus, to guess that A=3, type `A 3'. |
142 | 127 |
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
128 To leave the game to do other editing work, just switch buffers. |
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
129 Then you may resume the game with M-x mpuz. |
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
130 You may abort a game by typing \\<mpuz-mode-map>\\[mpuz-offer-abort]." |
142 | 131 (interactive) |
132 (setq major-mode 'mpuz-mode | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
133 mode-name "Mult Puzzle" |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
134 tab-width 30) |
142 | 135 (use-local-map mpuz-mode-map) |
136 (run-hooks 'mpuz-mode-hook)) | |
137 | |
138 | |
139 ;; Some variables for statistics | |
140 ;;------------------------------ | |
141 (defvar mpuz-nb-errors 0 | |
232 | 142 "Number of errors made in current game.") |
142 | 143 |
144 (defvar mpuz-nb-completed-games 0 | |
232 | 145 "Number of games completed.") |
142 | 146 |
147 (defvar mpuz-nb-cumulated-errors 0 | |
148 "Number of errors made in previous games.") | |
149 | |
150 | |
151 ;; Some variables for game tracking | |
152 ;;--------------------------------- | |
153 (defvar mpuz-in-progress nil | |
154 "True if a game is currently in progress.") | |
155 | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
156 (defvar mpuz-found-digits (make-bool-vector 10 nil) |
142 | 157 "A vector recording which digits have been decrypted.") |
158 | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
159 (defvar mpuz-trivial-digits (make-bool-vector 10 nil) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
160 "A vector recording which digits have been solved for you.") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
161 |
142 | 162 (defmacro mpuz-digit-solved-p (digit) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
163 `(or (aref mpuz-found-digits ,digit) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
164 (aref mpuz-trivial-digits ,digit))) |
142 | 165 |
166 | |
167 ;; A puzzle uses a permutation of [0..9] into itself. | |
168 ;; We use both the permutation and its inverse. | |
169 ;;--------------------------------------------------- | |
170 (defvar mpuz-digit-to-letter (make-vector 10 0) | |
171 "A permutation from [0..9] to [0..9].") | |
172 | |
173 (defvar mpuz-letter-to-digit (make-vector 10 0) | |
174 "The inverse of mpuz-digit-to-letter.") | |
175 | |
176 (defmacro mpuz-to-digit (letter) | |
177 (list 'aref 'mpuz-letter-to-digit letter)) | |
178 | |
179 (defmacro mpuz-to-letter (digit) | |
180 (list 'aref 'mpuz-digit-to-letter digit)) | |
181 | |
182 (defun mpuz-build-random-perm () | |
183 "Initialize puzzle coding with a random permutation." | |
184 (let ((letters (list 0 1 2 3 4 5 6 7 8 9)) ; new cons cells, because of delq | |
185 (index 10) | |
186 elem) | |
187 (while letters | |
4400 | 188 (setq elem (nth (random index) letters) |
142 | 189 letters (delq elem letters) |
190 index (1- index)) | |
191 (aset mpuz-digit-to-letter index elem) | |
192 (aset mpuz-letter-to-digit elem index)))) | |
193 | |
194 | |
3591
507f64624555
Apply typo patches from Paul Eggert.
Jim Blandy <jimb@redhat.com>
parents:
2451
diff
changeset
|
195 ;; A puzzle also uses a board displaying a multiplication. |
142 | 196 ;; Every digit appears in the board, crypted or not. |
197 ;;------------------------------------------------------ | |
198 (defvar mpuz-board (make-vector 10 nil) | |
4345
49e68bc65e26
* mpuz.el (mpuz-board): Doc fix.
Jim Blandy <jimb@redhat.com>
parents:
3591
diff
changeset
|
199 "The board associates to any digit the list of squares where it appears.") |
142 | 200 |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
201 (defun mpuz-put-number-on-board (number row &rest l) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
202 "Put (last digit of) NUMBER on ROW and COLUMNS of the puzzle board." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
203 (let (digit) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
204 (while l |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
205 (setq digit (% number 10) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
206 number (/ number 10)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
207 (aset mpuz-board digit `((,row . ,(car l)) ,@(aref mpuz-board digit))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
208 (setq l (cdr l))))) |
142 | 209 |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
210 (defun mpuz-check-all-solved (&optional row col) |
142 | 211 "Check whether all digits have been solved. Return t if yes." |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
212 (catch 'solved |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
213 (let (A B1 B2 C D E squares) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
214 (and mpuz-solve-when-trivial |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
215 (not row) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
216 (while |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
217 (cond ((or (and (setq B1 (or B1 (mpuz-check-all-solved 4 7)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
218 B2 (or B2 (mpuz-check-all-solved 4 9)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
219 E (or E (mpuz-check-all-solved 10)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
220 A (or A (mpuz-check-all-solved 2))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
221 B1 B2) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
222 (and E (or A (and B1 B2)))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
223 (mpuz-solve) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
224 (mpuz-paint-board) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
225 (throw 'solved t)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
226 ((and (setq D (or D (mpuz-check-all-solved 8)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
227 C (or C (mpuz-check-all-solved 6))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
228 D (not E)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
229 (mpuz-solve 10)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
230 ((and E (not (eq C D))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
231 (mpuz-solve (if D 6 8))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
232 ((and A (not (eq B2 C))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
233 (mpuz-solve (if C 4 6) (if C 9))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
234 ((and A (not (eq B1 D))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
235 (mpuz-solve (if D 4 8) (if D 7))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
236 ((and (not A) (or (and B2 C) (and B1 D))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
237 (mpuz-solve 2))))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
238 (mpuz-paint-board) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
239 (mapc (lambda (digit) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
240 (and (not (mpuz-digit-solved-p digit)) ; unsolved |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
241 (setq squares (aref mpuz-board digit)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
242 (if row |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
243 (if col |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
244 (member (cons row col) squares) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
245 (assq row squares)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
246 squares) ; and appearing in the puzzle! |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
247 (throw 'solved nil))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
248 [0 1 2 3 4 5 6 7 8 9])) |
142 | 249 t)) |
250 | |
251 | |
252 ;; To build a puzzle, we take two random numbers and multiply them. | |
253 ;; We also take a random permutation for encryption. | |
254 ;; The random numbers are only use to see which digit appears in which square | |
255 ;; of the board. Everything is stored in individual squares. | |
256 ;;--------------------------------------------------------------------------- | |
257 (defun mpuz-random-puzzle () | |
258 "Draw random values to be multiplied in a puzzle." | |
259 (mpuz-build-random-perm) | |
260 (fillarray mpuz-board nil) ; erase the board | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
261 ;; A,B,C,D & E, are the five rows of our multiplication. |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
262 ;; Choose random values, discarding cases with leading zeros in C or D. |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
263 (let* ((A (+ 112 (random 888))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
264 (min (1+ (/ 1000 A))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
265 (B1 (+ min (random (- 10 min)))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
266 B2 C D E) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
267 (while (if (= B1 (setq B2 (+ min (random (- 10 min))))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
268 (not mpuz-allow-double-multiplicator))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
269 (setq C (* A B2) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
270 D (* A B1) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
271 E (+ C (* D 10))) |
14040 | 272 ;; Individual digits are now put on their respective squares. |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
273 ;; [NB: A square is a pair (row . column) of the screen.] |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
274 (mpuz-put-number-on-board A 2 9 7 5) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
275 (mpuz-put-number-on-board (+ (* B1 10) B2) 4 9 7) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
276 (mpuz-put-number-on-board C 6 9 7 5 3) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
277 (mpuz-put-number-on-board D 8 7 5 3 1) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
278 (mpuz-put-number-on-board E 10 9 7 5 3 1))) |
142 | 279 |
280 ;; Display | |
281 ;;-------- | |
282 (defconst mpuz-framework | |
283 " | |
284 . . . | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
285 Number of errors (this game): 0 |
142 | 286 x . . |
287 ------- | |
288 . . . . | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
289 Number of completed games: 0 |
142 | 290 . . . . |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
291 --------- Average number of errors: 0.00 |
142 | 292 . . . . ." |
293 "The general picture of the puzzle screen, as a string.") | |
294 | |
295 (defun mpuz-create-buffer () | |
296 "Create (or recreate) the puzzle buffer. Return it." | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
297 (let ((buf (get-buffer-create "*Mult Puzzle*")) |
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
298 (face '(face mpuz-text-face)) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
299 buffer-read-only) |
142 | 300 (save-excursion |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
301 (set-buffer buf) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
302 (erase-buffer) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
303 (insert mpuz-framework) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
304 (set-text-properties 13 42 face) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
305 (set-text-properties 79 105 face) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
306 (set-text-properties 128 153 face) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
307 (mpuz-paint-board) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
308 (mpuz-paint-errors) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
309 (mpuz-paint-statistics)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
310 buf)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
311 |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
312 (defun mpuz-paint-number (n &optional eol words) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
313 (end-of-line eol) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
314 (let (buffer-read-only) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
315 (delete-region (point) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
316 (progn (backward-word (or words 1)) (point))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
317 (insert n))) |
142 | 318 |
319 (defun mpuz-paint-errors () | |
320 "Paint error count on the puzzle screen." | |
321 (mpuz-switch-to-window) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
322 (goto-line 3) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
323 (mpuz-paint-number (prin1-to-string mpuz-nb-errors))) |
142 | 324 |
325 (defun mpuz-paint-statistics () | |
326 "Paint statistics about previous games on the puzzle screen." | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
327 (goto-line 7) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
328 (mpuz-paint-number (prin1-to-string mpuz-nb-completed-games)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
329 (mpuz-paint-number |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
330 (format "%.2f" |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
331 (if (zerop mpuz-nb-completed-games) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
332 0 |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
333 (/ (+ 0.0 mpuz-nb-cumulated-errors) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
334 mpuz-nb-completed-games))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
335 3 2)) |
142 | 336 |
337 (defun mpuz-paint-board () | |
338 "Paint board situation on the puzzle screen." | |
339 (mpuz-switch-to-window) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
340 (mapc 'mpuz-paint-digit [0 1 2 3 4 5 6 7 8 9]) |
142 | 341 (goto-char (point-min))) |
342 | |
343 (defun mpuz-paint-digit (digit) | |
344 "Paint all occurrences of DIGIT on the puzzle board." | |
345 (let ((char (if (mpuz-digit-solved-p digit) | |
346 (+ digit ?0) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
347 (+ (mpuz-to-letter digit) ?A))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
348 (face `(face |
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
349 ,(cond ((aref mpuz-trivial-digits digit) 'mpuz-trivial-face) |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
350 ((aref mpuz-found-digits digit) 'mpuz-solved-face) |
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
351 ('mpuz-unsolved-face)))) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
352 buffer-read-only) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
353 (mapc (lambda (square) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
354 (goto-line (car square)) ; line before column! |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
355 (move-to-column (cdr square)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
356 (insert char) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
357 (set-text-properties (1- (point)) (point) face) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
358 (delete-char 1)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
359 (aref mpuz-board digit)))) |
142 | 360 |
361 (defun mpuz-get-buffer () | |
362 "Get the puzzle buffer if it exists." | |
363 (get-buffer "*Mult Puzzle*")) | |
364 | |
365 (defun mpuz-switch-to-window () | |
366 "Find or create the Mult-Puzzle buffer, and display it." | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
367 (let ((buf (mpuz-get-buffer))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
368 (or buf (setq buf (mpuz-create-buffer))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
369 (switch-to-buffer buf) |
45113
f929d5e6ced1
(mpuz-switch-to-window): Set buffer-read-only directly.
Richard M. Stallman <rms@gnu.org>
parents:
43825
diff
changeset
|
370 (setq buffer-read-only t) |
142 | 371 (mpuz-mode))) |
372 | |
373 | |
374 ;; Game control | |
375 ;;------------- | |
376 (defun mpuz-start-new-game () | |
377 "Start a new puzzle." | |
378 (message "Here we go...") | |
379 (setq mpuz-nb-errors 0 | |
380 mpuz-in-progress t) | |
381 (fillarray mpuz-found-digits nil) ; initialize mpuz-found-digits | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
382 (fillarray mpuz-trivial-digits nil) |
142 | 383 (mpuz-random-puzzle) |
384 (mpuz-switch-to-window) | |
385 (mpuz-paint-board) | |
386 (mpuz-paint-errors) | |
387 (mpuz-ask-for-try)) | |
388 | |
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
389 ;;;###autoload |
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
390 (defun mpuz () |
142 | 391 "Multiplication puzzle with GNU Emacs." |
392 ;; Main entry point | |
393 (interactive) | |
394 (mpuz-switch-to-window) | |
395 (if mpuz-in-progress | |
396 (mpuz-offer-abort) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
397 (mpuz-start-new-game))) |
142 | 398 |
399 (defun mpuz-offer-abort () | |
400 "Ask if user wants to abort current puzzle." | |
401 (interactive) | |
402 (if (y-or-n-p "Abort game ") | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
403 (let ((buf (mpuz-get-buffer))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
404 (message "Mult Puzzle aborted.") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
405 (setq mpuz-in-progress nil |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
406 mpuz-nb-errors 0) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
407 (fillarray mpuz-board nil) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
408 (if buf (kill-buffer buf))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
409 (mpuz-ask-for-try))) |
142 | 410 |
411 (defun mpuz-ask-for-try () | |
412 "Ask for user proposal in puzzle." | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
413 (message "Your try?")) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
414 |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
415 (defun mpuz-ding (error) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
416 "Dings, unless global variable `mpuz-silent' forbids it." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
417 (cond ((eq mpuz-silent t)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
418 ((not mpuz-silent) (ding t)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
419 (error (ding t)))) |
142 | 420 |
421 (defun mpuz-try-letter () | |
422 "Propose a digit for a letter in puzzle." | |
423 (interactive) | |
424 (if mpuz-in-progress | |
425 (let (letter-char digit digit-char message) | |
2451
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
426 (setq letter-char (upcase last-command-char) |
142 | 427 digit (mpuz-to-digit (- letter-char ?A))) |
428 (cond ((mpuz-digit-solved-p digit) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
429 (message "%c already solved." letter-char) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
430 (mpuz-ding t)) |
142 | 431 ((null (aref mpuz-board digit)) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
432 (message "%c does not appear." letter-char) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
433 (mpuz-ding t)) |
2451
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
434 ((progn (message "%c = " letter-char) |
142 | 435 ;; <char> has been entered. |
436 ;; Print "<char> =" and | |
437 ;; read <num> or = <num> | |
2451
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
438 (setq digit-char (read-char)) |
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
439 (if (eq digit-char ?=) |
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
440 (setq digit-char (read-char))) |
142 | 441 (or (> digit-char ?9) (< digit-char ?0))) ; bad input |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
442 (message "%c = %c" letter-char digit-char) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
443 (mpuz-ding t)) |
142 | 444 (t |
445 (mpuz-try-proposal letter-char digit-char)))) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
446 (if (y-or-n-p "Start a new game ") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
447 (mpuz-start-new-game) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
448 (message "OK. I won't.")))) |
142 | 449 |
450 (defun mpuz-try-proposal (letter-char digit-char) | |
451 "Propose LETTER-CHAR as code for DIGIT-CHAR." | |
452 (let* ((letter (- letter-char ?A)) | |
453 (digit (- digit-char ?0)) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
454 (correct-digit (mpuz-to-digit letter)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
455 (game mpuz-nb-completed-games)) |
142 | 456 (cond ((mpuz-digit-solved-p correct-digit) |
24859
0291983fe62f
(mpuz-try-proposal): Fix message call.
Karl Heuer <kwzh@gnu.org>
parents:
21363
diff
changeset
|
457 (message "%c has already been found." (+ correct-digit ?0))) |
0291983fe62f
(mpuz-try-proposal): Fix message call.
Karl Heuer <kwzh@gnu.org>
parents:
21363
diff
changeset
|
458 ((mpuz-digit-solved-p digit) |
0291983fe62f
(mpuz-try-proposal): Fix message call.
Karl Heuer <kwzh@gnu.org>
parents:
21363
diff
changeset
|
459 (message "%c has already been placed." digit-char)) |
142 | 460 ((= digit correct-digit) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
461 (message "%c = %c correct!" letter-char digit-char) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
462 (mpuz-ding nil) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
463 (aset mpuz-found-digits digit t) ; Mark digit as solved |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
464 (and (mpuz-check-all-solved) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
465 (mpuz-close-game))) |
142 | 466 (t ;;; incorrect guess |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
467 (message "%c = %c incorrect!" letter-char digit-char) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
468 (mpuz-ding t) |
142 | 469 (setq mpuz-nb-errors (1+ mpuz-nb-errors)) |
470 (mpuz-paint-errors))))) | |
471 | |
472 (defun mpuz-close-game () | |
473 "Housecleaning when puzzle has been solved." | |
474 (setq mpuz-in-progress nil | |
475 mpuz-nb-cumulated-errors (+ mpuz-nb-cumulated-errors mpuz-nb-errors) | |
476 mpuz-nb-completed-games (1+ mpuz-nb-completed-games)) | |
477 (mpuz-paint-statistics) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
478 (let ((message (format "Puzzle solved with %d error%s. That's %s" |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
479 mpuz-nb-errors |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
480 (if (= mpuz-nb-errors 1) "" "s") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
481 (cond ((= mpuz-nb-errors 0) "perfect!") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
482 ((= mpuz-nb-errors 1) "very good!") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
483 ((= mpuz-nb-errors 2) "good.") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
484 ((= mpuz-nb-errors 3) "not bad.") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
485 ((= mpuz-nb-errors 4) "not too bad...") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
486 ((< mpuz-nb-errors 10) "bad!") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
487 ((< mpuz-nb-errors 15) "awful.") |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
488 (t "not serious."))))) |
142 | 489 (message message) |
490 (sit-for 4) | |
491 (if (y-or-n-p (concat message " Start a new game ")) | |
492 (mpuz-start-new-game) | |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
493 (message "Good Bye!")))) |
142 | 494 |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
495 (defun mpuz-solve (&optional row col) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
496 "Find solution for autosolving." |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
497 (mapc (lambda (digit) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
498 (or (mpuz-digit-solved-p digit) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
499 (if row |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
500 (not (if col |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
501 (member (cons row col) (aref mpuz-board digit)) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
502 (assq row (aref mpuz-board digit))))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
503 (aset mpuz-trivial-digits digit t))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
504 [0 1 2 3 4 5 6 7 8 9]) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
505 t) |
142 | 506 |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
507 (defun mpuz-show-solution (row) |
142 | 508 "Display solution for debugging purposes." |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
509 (interactive "P") |
142 | 510 (mpuz-switch-to-window) |
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
511 (mpuz-solve (if row (* 2 (prefix-numeric-value row)))) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
512 (mpuz-paint-board) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
513 (if (mpuz-check-all-solved) |
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
514 (mpuz-close-game))) |
142 | 515 |
18383 | 516 (provide 'mpuz) |
517 | |
52401 | 518 ;;; arch-tag: 2781d6ba-89e7-43b5-85c7-5d3a2e73feb1 |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
232
diff
changeset
|
519 ;;; mpuz.el ends here |