annotate lisp/play/mpuz.el @ 53879:e3771c262410

New file. Move original fringe related declarations and code from dispextern.h and xdisp.c here. Rework code to support user defined fringe bitmaps, redefining standard bitmaps, ability to overlay user defined bitmap with overlay arrow bitmap, and add faces to bitmaps. (Voverflow_newline_into_fringe): Declare here. (enum fringe_bitmap_align): New enum. (..._bits): All bitmaps are now defined without bitswapping; that is now done in init_fringe_once (if necessary). (standard_bitmaps): New array with specifications for the standard fringe bitmaps. (fringe_faces): New array. (valid_fringe_bitmap_id_p): New function. (draw_fringe_bitmap_1): Rename from draw_fringe_bitmap. (draw_fringe_bitmap): New function which draws fringe bitmap, possibly overlaying bitmap with cursor in right fringe or the overlay arrow in the left fringe. (update_window_fringes): Do not handle overlay arrow here. Compare and copy fringe bitmap faces. (init_fringe_bitmap): New function. (Fdefine_fringe_bitmap, Fdestroy_fringe_bitmap): New DEFUNs to define and destroy user defined fringe bitmaps. (Fset_fringe_bitmap_face): New DEFUN to set face for a fringe bitmap. (Ffringe_bitmaps_at_pos): New DEFUN to read current fringe bitmaps. (syms_of_fringe): New function. Defsubr new DEFUNs. DEFVAR_LISP Voverflow_newline_into_fringe. (init_fringe_once, init_fringe): New functions. (w32_init_fringe, w32_reset_fringes) [WINDOWS_NT]: New functions.
author Kim F. Storm <storm@cua.dk>
date Sun, 08 Feb 2004 23:18:16 +0000
parents 695cf19ef79e
children eaa9acd9122c 375f2633d815
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
c8798ebd7d95 entered into RCS
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 791
diff changeset
4
19963
2f60572de4d1 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 18383
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; This file is part of GNU Emacs.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
24 ;; Boston, MA 02111-1307, USA.
142
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
35 (defgroup mpuz nil
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
36 "Multiplication puzzle."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
37 :prefix "mpuz-"
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
38 :group 'games)
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
39
142
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 (random t) ; randomize
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
57 :type 'boolean
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
58 :group 'mpuz)
142
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 ;; Mpuz mode and keymaps
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 ;;----------------------
21363
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
86 (defcustom mpuz-mode-hook nil
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
87 "Hook to run upon entry to mpuz."
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
88 :type 'hook
f1fc193b6958 Customized.
Stephen Eglen <stephen@gnu.org>
parents: 19963
diff changeset
89 :group 'mpuz)
142
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 (defvar mpuz-mode-map nil
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 "Local keymap to use in Mult Puzzle.")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121
232
c0bd9c7f9c42 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 142
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 (interactive)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (use-local-map mpuz-mode-map)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (run-hooks 'mpuz-mode-hook))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 ;; Some variables for statistics
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 ;;------------------------------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 (defvar mpuz-nb-errors 0
232
c0bd9c7f9c42 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 142
diff changeset
142 "Number of errors made in current game.")
142
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 (defvar mpuz-nb-completed-games 0
232
c0bd9c7f9c42 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 142
diff changeset
145 "Number of games completed.")
142
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 (defvar mpuz-nb-cumulated-errors 0
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 "Number of errors made in previous games.")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 ;; Some variables for game tracking
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 ;;---------------------------------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (defvar mpuz-in-progress nil
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 "True if a game is currently in progress.")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 "A vector recording which digits have been decrypted.")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 ;; A puzzle uses a permutation of [0..9] into itself.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 ;; We use both the permutation and its inverse.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 ;;---------------------------------------------------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (defvar mpuz-digit-to-letter (make-vector 10 0)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 "A permutation from [0..9] to [0..9].")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (defvar mpuz-letter-to-digit (make-vector 10 0)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 "The inverse of mpuz-digit-to-letter.")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (defmacro mpuz-to-digit (letter)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (list 'aref 'mpuz-letter-to-digit letter))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (defmacro mpuz-to-letter (digit)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (list 'aref 'mpuz-digit-to-letter digit))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (defun mpuz-build-random-perm ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 "Initialize puzzle coding with a random permutation."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 (let ((letters (list 0 1 2 3 4 5 6 7 8 9)) ; new cons cells, because of delq
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (index 10)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 elem)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (while letters
4400
a549089c0d15 (mpuz-random): Remove.
Paul Eggert <eggert@twinsun.com>
parents: 4345
diff changeset
188 (setq elem (nth (random index) letters)
142
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 letters (delq elem letters)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 index (1- index))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 (aset mpuz-digit-to-letter index elem)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (aset mpuz-letter-to-digit elem index))))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 ;; Every digit appears in the board, crypted or not.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 ;;------------------------------------------------------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 t))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 ;; To build a puzzle, we take two random numbers and multiply them.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 ;; We also take a random permutation for encryption.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 ;; The random numbers are only use to see which digit appears in which square
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 ;; of the board. Everything is stored in individual squares.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 ;;---------------------------------------------------------------------------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (defun mpuz-random-puzzle ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 "Draw random values to be multiplied in a puzzle."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (mpuz-build-random-perm)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
187735b53d52 Comment fixes.
Karl Heuer <kwzh@gnu.org>
parents: 6736
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 ;; Display
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 ;;--------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 (defconst mpuz-framework
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 "
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 x . .
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 -------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 . . . . ."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 "The general picture of the puzzle screen, as a string.")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (defun mpuz-create-buffer ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 (defun mpuz-paint-errors ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 "Paint error count on the puzzle screen."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 (defun mpuz-paint-statistics ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 (defun mpuz-paint-board ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 "Paint board situation on the puzzle screen."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 (goto-char (point-min)))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 (defun mpuz-paint-digit (digit)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 "Paint all occurrences of DIGIT on the puzzle board."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 (let ((char (if (mpuz-digit-solved-p digit)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 (defun mpuz-get-buffer ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 "Get the puzzle buffer if it exists."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363 (get-buffer "*Mult Puzzle*"))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 (defun mpuz-switch-to-window ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 (mpuz-mode)))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 ;; Game control
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 ;;-------------
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 (defun mpuz-start-new-game ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 "Start a new puzzle."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378 (message "Here we go...")
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
379 (setq mpuz-nb-errors 0
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 mpuz-in-progress t)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 (mpuz-random-puzzle)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 (mpuz-switch-to-window)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 (mpuz-paint-board)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
386 (mpuz-paint-errors)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
387 (mpuz-ask-for-try))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 "Multiplication puzzle with GNU Emacs."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 ;; Main entry point
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 (interactive)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 (mpuz-switch-to-window)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 (if mpuz-in-progress
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 (defun mpuz-offer-abort ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 "Ask if user wants to abort current puzzle."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 (interactive)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 (defun mpuz-ask-for-try ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 (defun mpuz-try-letter ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 "Propose a digit for a letter in puzzle."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 (interactive)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 (if mpuz-in-progress
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 digit (mpuz-to-digit (- letter-char ?A)))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 ;; <char> has been entered.
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 ;; Print "<char> =" and
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 (t
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 (defun mpuz-try-proposal (letter-char digit-char)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 "Propose LETTER-CHAR as code for DIGIT-CHAR."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
452 (let* ((letter (- letter-char ?A))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 (setq mpuz-nb-errors (1+ mpuz-nb-errors))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
470 (mpuz-paint-errors)))))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 (defun mpuz-close-game ()
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
473 "Housecleaning when puzzle has been solved."
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
474 (setq mpuz-in-progress nil
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
475 mpuz-nb-cumulated-errors (+ mpuz-nb-cumulated-errors mpuz-nb-errors)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 mpuz-nb-completed-games (1+ mpuz-nb-completed-games))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
489 (message message)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
490 (sit-for 4)
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
491 (if (y-or-n-p (concat message " Start a new game "))
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
df6ec648915f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515
18383
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 18314
diff changeset
516 (provide 'mpuz)
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 18314
diff changeset
517
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 50861
diff changeset
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