$ od -c -N 50000 [Indigo]<Imaging>EP88CaminoRealPaper>EP88CaminoRealPaperDennis.interpress!2 0000000 I n t e r p r e s s / X e r o x 0000020 / 3 . 0 240 f 240 j 305 005 X e r o x 0000040 305 \n P r e s s F o n t s 305 \r H e 0000060 l v e t i c a - B R R 017 243 241 033 240 0000100 223 304 004 034 ; 001 220 240 244 240 224 017 240 225 305 005 0000120 X e r o x 305 \n P r e s s F o n t 0000140 s 305 \r H e l v e t i c a - M R R 0000160 017 243 241 033 240 223 304 004 \t i \0 310 240 244 240 224 0000200 017 241 225 305 005 X e r o x 305 \n P r e s 0000220 s F o n t s 305 \b M a t h - M R R 0000240 017 243 241 033 240 223 304 004 003 # \0 d 240 244 240 224 0000260 017 242 225 305 005 X e r o x 305 \n P r e s 0000300 s F o n t s 305 \r H e l v e t i c 0000320 a - M R R 017 243 241 033 240 223 304 004 003 # \0 0000340 d 240 244 240 224 017 243 225 305 005 X e r o x 305 0000360 \n P r e s s F o n t s 305 \r H e l 0000400 v e t i c a - B R R 017 243 241 033 240 223 0000420 304 004 003 # \0 P 240 244 240 224 017 244 225 305 005 X 0000440 e r o x 305 \n P r e s s F o n t s 0000460 305 \r H e l v e t i c a - M R R 017 0000500 243 241 033 240 223 304 004 003 # \0 P 240 244 240 224 017 0000520 245 225 305 005 X e r o x 305 \n P r e s s 0000540 F o n t s 305 \b L o g o - M R R 017 0000560 243 241 033 240 223 017 270 240 244 240 224 017 246 225 305 005 0000600 X e r o x 305 \n P r e s s F o n t 0000620 s 305 016 T i m e s R o m a n - M R 0000640 R 017 243 241 033 240 223 304 004 003 # \0 P 240 244 240 0000660 224 017 247 225 305 005 X e r o x 305 \n P r e 0000700 s s F o n t s 305 \r H e l v e t i 0000720 c a - B R R 017 243 241 033 240 223 304 004 025 365 0000740 001 220 240 244 240 224 017 250 225 240 k 240 j 017 241 017 0000760 245 223 304 006 \0 \0 035 001 B Q 240 244 240 250 017 365 0001000 304 006 \0 203 033 \0 \0 1 212 017 240 240 227 301 ' C 0001020 a m i n o R e a l : A n I n 0001040 t e r a c t i v e M a t h e m 0001060 a t i c a l 226 017 365 304 006 \0 321 275 \0 \0 0001100 Q 212 017 240 240 227 301 \b N o t e b o o k 0001120 226 017 365 304 006 001 001 331 \0 \0 j 212 017 241 240 227 0001140 301 @ D e n n i s A r n o n , 0001160 R i c h a r d B e a c h , K 0001200 e v i n M c I s a a c , a n 0001220 d C a r l W a l d s p u r g 0001240 e r 226 017 365 304 006 \0 206 D \0 \0 ; 212 017 242 0001260 240 227 301 001 c 226 017 243 240 227 301 8 C o p 0001300 y r i g h t 1 9 8 7 X e r o 0001320 x C o r p o r a t i o n . 0001340 A l l r i g h t s r e s e r 0001360 v e d . 226 017 365 304 006 \0 227 235 \0 \0 F 212 0001400 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0001420 240 n 240 j 017 244 240 227 304 004 037 036 \v 231 017 262 0001440 223 301 \t A b s t r a c t : 226 017 245 240 0001460 227 301 J F o u r b r o a d c 0001500 a t e g o r i e s o f m a t 0001520 h e m a t i c a l s o f t w a 0001540 r e a r e n u m e r i c a l 0001560 c o m p u t a t i o n , 226 017 241 0001600 017 262 223 240 k 017 365 304 006 001 p 016 \0 \0 257 212 0001620 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0001640 240 n 240 j 017 245 240 227 304 004 \n 7 \b 264 017 262 0001660 223 301 ] m a t h e m a t i c a l 0001700 t y p e s e t t i n g , c o m 0001720 p u t e r a l g e b r a ( s 0001740 y m b o l i c m a t h e m a t 0001760 i c s ) , a n d ` ` t e c h 0002000 n i c a l e l e c t r o n i c 0002020 226 017 241 017 262 223 240 k 017 365 304 004 K 177 \0 % 0002040 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0002060 232 240 n 240 j 017 245 240 227 304 004 023 231 022 W 017 0002100 262 223 301 ` m a i l ' ' ( m a i l 0002120 t h a t c o n t a i n s f 0002140 o r m a t t e d m a t h e m a 0002160 t i c a l e x p r e s s i o n 0002200 s ) . I n e a c h o f 0002220 t h e s e c a t e g o r i e s 0002240 o n e 226 017 241 017 262 223 240 k 017 365 304 006 0002260 001 Z 031 \0 \0 257 212 304 002 001 \n 304 002 001 \n 240 0002300 233 021 Z 017 240 240 232 240 n 240 j 017 245 240 227 304 0002320 004 \t : 003 a 017 262 223 301 U f i n d s 0002340 p o w e r f u l a n d s o p 0002360 h i s t i c a t e d s y s t e 0002400 m s . N o n e t h e l e s s 0002420 , w h a t o n e r e a l l 0002440 y w o u l d l i k e i s 226 0002460 017 241 017 262 223 240 k 017 365 304 006 \0 316 321 \0 \0 0002500 l 212 017 245 240 227 301 C s i m u l t a n 0002520 e o u s , i n t e g r a t e d 0002540 a c c e s s t o a l l f 0002560 o u r t y p e s o f f u n 0002600 c t i o n a l i t y . 226 017 365 304 006 0002620 \0 235 \r \0 \0 W 212 304 002 001 \n 304 002 001 \n 240 0002640 233 021 Z 017 240 240 232 240 n 240 j 017 245 240 227 304 0002660 004 \r 261 \f ( 017 262 223 301 ^ C a m i n o 0002700 R e a l i s a w o r k i n 0002720 g s y s t e m t h a t a d 0002740 d r e s s e s t h i s n e e 0002760 d . I t i s p a r t o 0003000 f C e d a r , t h e p r o 0003020 g r a m m i n g 226 017 241 017 262 223 240 k 0003040 017 365 304 006 001 362 W \0 001 036 212 304 002 001 \n 304 0003060 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0003100 245 240 227 304 004 \n 255 \a O 017 262 223 301 X e n 0003120 v i r o n m e n t o f X e r 0003140 o x P A R C ' s C o m p u t 0003160 e r S c i e n c e L a b o r 0003200 a t o r y , a n d i s u s 0003220 e d i n c o n j u n c t i o 0003240 n w i t h 226 017 241 017 262 223 240 k 017 365 0003260 304 006 001 004 [ \0 \0 233 212 304 002 001 \n 304 002 001 0003300 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 245 240 0003320 227 304 004 003 371 002 002 017 262 223 301 U T i o g 0003340 a , C e d a r ' s m u l t i 0003360 m e d i a d o c u m e n t e 0003400 d i t o r . P r i n t i n g 0003420 a n d m a n a g e m e n t 0003440 o f o t h e r d o c u m e n 0003460 t 226 017 241 017 262 223 240 k 017 365 304 004 Z 215 \0 0003500 8 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0003520 240 232 240 n 240 j 017 245 240 227 304 004 \v 275 005 & 0003540 017 262 223 301 V c o m p o n e n t s , 0003560 s u c h a s t e x t , g 0003600 r a p h i c s , a n d v o i 0003620 c e , i s p r o v i d e d 0003640 b y T i o g a . F o r c 0003660 o m p u t a t i o n , 226 017 241 017 262 0003700 223 240 k 017 365 304 004 D c \0 , 212 304 002 001 \n 0003720 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0003740 017 245 240 227 304 004 033 365 \f 260 017 262 223 301 V C 0003760 a m i n o R e a l o f f e r s 0004000 a s m a l l b u i l t - i 0004020 n a l g e b r a p a c k a g 0004040 e b a s e d o n t h e n 0004060 o t i o n s o f o b j e c t 0004100 s a n d 226 017 241 017 262 223 240 k 017 365 304 0004120 006 \0 222 + \0 \0 b 212 304 002 001 \n 304 002 001 \n 0004140 240 233 021 Z 017 240 240 232 240 n 240 j 017 245 240 227 0004160 304 004 \f 304 005 271 017 262 223 301 W d o m a i 0004200 n s , p l u s a c c e s s 0004220 t o ` ` a l g e b r a s e r 0004240 v e r s ' ' o n a n e t w 0004260 o r k . M a t h e m a t i c 0004300 a l e x p r e s s i o n s a 0004320 r e 226 017 241 017 262 223 240 k 017 365 304 006 \0 303 0004340 276 \0 \0 211 212 304 002 001 \n 304 002 001 \n 240 233 021 0004360 Z 017 240 240 232 240 n 240 j 017 245 240 227 304 004 \n 0004400 002 006 337 017 262 223 301 Y e x c h a n g e 0004420 d a m o n g C a m i n o R e 0004440 a l , T i o g a , a n d t 0004460 h e s e a l g e b r a s e r 0004500 v e r s i n p u r e f u n 0004520 c t i o n a l n o t a t i o n 0004540 . 226 017 241 017 262 223 240 k 017 365 304 004 } 255 \0 0004560 \ 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0004600 240 232 240 n 240 j 017 245 240 227 304 004 002 5 001 337 0004620 017 262 223 301 Z O u r c u r r e n t 0004640 a l g e b r a s e r v e r s 0004660 a r e t h e R e d u c e , 0004700 S M P , a n d S A C - 2 0004720 c o m p u t e r a l g e b r a 0004740 s y s t e m s . T h i s 226 0004760 017 241 017 262 223 240 k 017 365 304 006 \0 201 \a \0 \0 0005000 c 212 017 245 240 227 301 2 d o c u m e n t 0005020 h a s b e e n p r o d u c 0005040 e d u s i n g T i o g a / C 0005060 a m i n o R e a l . 226 017 365 304 006 \0 0005100 330 \a \0 \0 265 212 304 002 001 \n 304 002 001 \n 240 233 0005120 021 Z 017 240 240 232 240 n 240 j 017 244 240 227 304 004 0005140 \b 245 003 Q 017 262 223 301 \b K e y w o r d 0005160 s 226 301 001 : 226 017 245 240 227 301 J c o m 0005200 p u t a t i o n a l m a t h e 0005220 m a t i c s , d o c u m e n t 0005240 p r o c e s s i n g , m a t 0005260 h e m a t i c a l t y p e s e 0005300 t t i n g , 226 017 241 017 262 223 240 k 017 365 0005320 304 004 036 210 \0 033 212 304 002 001 \n 304 002 001 \n 240 0005340 233 021 Z 017 240 240 232 240 n 240 j 017 245 240 227 304 0005360 004 \b 365 003 250 017 262 223 301 * t e c h n i 0005400 c a l d o c u m e n t s , m 0005420 a t h e m a t i c s e d i t i 0005440 n g , 226 017 243 240 227 301 \a W Y S I W 0005460 Y G 226 017 245 240 227 301 ' , u s e r 0005500 i n t e r f a c e s , d i r e 0005520 c t m a n i p u l a t i o n , 0005540 226 017 241 017 262 223 240 k 017 365 304 006 \0 201 < \0 0005560 \0 y 212 017 245 240 227 301 P c o m p u t e 0005600 r a l g e b r a , s y m b o 0005620 l i c m a t h e m a t i c a l 0005640 c o m p u t a t i o n , o b 0005660 j e c t - o r i e n t e d p r 0005700 o g r a m m i n g 226 017 365 304 004 K 264 0005720 \0 O 212 017 365 304 004 ? 305 \0 k 212 017 246 240 227 0005740 017 230 215 301 005 X E R O X 226 017 250 215 017 247 0005760 240 227 301 \0 226 304 006 004 y 207 \0 031 215 214 301 \0 0006000 226 017 332 214 301 \0 226 017 332 214 017 245 240 227 301 021 0006020 X e r o x C o r p o r a t i o 0006040 n 226 017 365 304 004 O t \0 225 212 017 247 240 227 301 0006060 \0 226 017 332 214 301 \0 226 017 332 214 301 \0 226 017 332 0006100 214 301 \0 226 017 332 214 017 245 240 227 301 031 P a l 0006120 o A l t o R e s e a r c h 0006140 C e n t e r 226 017 365 304 006 001 220 g \0 003 0006160 S 212 017 247 240 227 301 \0 226 017 332 214 301 \0 226 017 0006200 332 214 301 \0 226 017 332 214 301 \0 226 017 332 214 017 245 0006220 240 227 301 025 3 3 3 3 C o y o t e 0006240 H i l l R o a d 226 017 365 304 004 9 177 0006260 \0 215 212 017 247 240 227 301 \0 226 017 332 214 301 \0 226 0006300 017 332 214 301 \0 226 017 332 214 301 \0 226 017 332 214 017 0006320 245 240 227 301 033 P a l o A l t o , 0006340 C a l i f o r n i a 9 4 3 0 4 0006360 226 017 365 304 004 # 212 \0 g 212 017 365 304 004 & 255 0006400 \0 211 212 017 250 240 227 301 1 D R A F T 030 0006420 S u b m i t t e d t o E P 0006440 8 8 f o r p u b l i c a t i 0006460 o n 030 D R A F T 226 240 k 240 j 017 0006500 241 017 245 223 304 006 \0 \0 035 001 B Q 240 244 240 250 0006520 017 365 304 006 \0 203 033 \0 \0 1 212 240 k 240 j 017 0006540 241 017 245 223 304 006 \0 \0 035 001 B Q 240 244 240 250 0006560 017 247 240 227 304 004 a 235 \0 R 304 004 034 ; \0 310 0006600 212 301 001 1 226 304 004 U # \0 z 304 004 t 017 \0 0006620 ( 212 305 005 X e r o x 305 \n P r e s s 0006640 F o n t s 305 016 T i m e s R o m a 0006660 n - M R R 017 243 241 033 240 223 304 004 003 # \0 0006700 d 240 244 240 224 017 251 225 017 251 240 227 301 0 C A 0006720 M I N O R E A L : A N I N T 0006740 E R A C T I V E M A T H E M A 0006760 T I C A L N O T E B O O K 226 304 0007000 004 | 337 \0 U 304 006 \0 221 213 \0 \0 6 212 305 005 0007020 X e r o x 305 \n P r e s s F o n t 0007040 s 305 016 T i m e s R o m a n - M I 0007060 R 017 243 241 033 240 223 304 004 003 # \0 P 240 244 240 0007100 224 017 252 225 017 252 240 227 301 % T h e r e 0007120 i s n o ` r o y a l r o a 0007140 d ' t o g e o m e t r y . 226 0007160 304 006 \0 201 301 \0 \0 K 304 004 " 020 \0 \r 212 017 0007200 251 240 227 301 031 E u c l i d , s a i 0007220 d t o P t o l e m y I 226 017 0007240 365 304 004 e J \0 ) 212 305 005 X e r o x 305 0007260 \n P r e s s F o n t s 305 016 T i m 0007300 e s R o m a n - B R R 017 243 241 033 240 0007320 223 304 004 \t i \0 310 240 244 240 224 017 253 225 017 253 0007340 240 227 301 020 1 . I n t r o d u c 0007360 t i o n 226 017 365 304 006 \0 217 \0 \0 \0 = 212 0007400 305 005 X e r o x 305 \n P r e s s F o 0007420 n t s 305 016 T i m e s R o m a n - 0007440 B R R 017 243 241 033 240 223 304 004 003 # \0 P 240 0007460 244 240 224 017 254 225 017 254 240 227 301 032 1 . 1 0007500 O v e r v i e w o f C a m i 0007520 n o R e a l 226 304 004 020 k \0 ( 304 004 A 0007540 \0 035 212 304 002 001 \n 304 002 001 \n 240 233 304 004 0007560 A 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 0007600 304 004 006 w 005 205 017 262 223 301 ` C a m i n 0007620 o R e a l i s a s y s t e 0007640 m f o r d i r e c t m a n 0007660 i p u l a t i o n o f m a t 0007700 h e m a t i c a l e x p r e s 0007720 s i o n s , w h e t h e r a 0007740 s p a r t o f a 226 017 241 017 262 0007760 223 240 k 017 365 304 004 x 020 \0 7 212 017 247 240 227 0010000 301 E t e c h n i c a l d o c u 0010020 m e n t o r a s i n p u t 0010040 a n d o u t p u t s o f 0010060 a c o m p u t a t i o n a l 0010100 e n g i n e . 226 304 004 020 k \0 ( 304 006 0010120 001 [ 316 \0 \0 245 212 304 002 001 \n 304 002 001 \n 240 0010140 233 304 004 A 355 \0 ( 017 240 240 232 240 n 240 j 017 0010160 247 240 227 304 004 \t 334 003 w 017 262 223 301 U C a 0010200 m i n o R e a l s u p p o r t 0010220 s i n t e r a c t i v e , s 0010240 y n t a x - d i r e c t e d , 0010260 t w o - d i m e n s i o n a l , 0010300 W Y S I W Y G e d i t i n g 0010320 o f 226 017 241 017 262 223 240 k 017 365 304 004 O 0010340 303 \0 ' 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0010360 017 240 240 232 240 n 240 j 017 247 240 227 304 004 016 200 0010400 005 261 017 262 223 301 \ m a t h e m a t i 0010420 c a l e x p r e s s i o n s , 0010440 p l a c i n g / f e t c h i n 0010460 g s u c h e x p r e s s i o 0010500 n s i n / f r o m f o r m a 0010520 t t e d d o c u m e n t s , 0010540 a n d 226 017 241 017 262 223 240 k 017 365 304 006 \0 0010560 347 362 \0 \0 u 212 304 002 001 \n 304 002 001 \n 240 233 0010600 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0010620 \r 004 \t A 017 262 223 301 a m a n i p u l 0010640 a t i n g a l g e b r a i c 0010660 e x p r e s s i o n s . C o 0010700 m p u t a t i o n c a n b e 0010720 p e r f o r m e d t h r o u 0010740 g h t h e s a m e u s e r 0010760 i n t e r f a c e 226 017 241 017 262 223 0011000 240 k 017 365 304 004 021 G \0 \t 212 304 002 001 \n 304 0011020 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0011040 247 240 227 304 004 005 | 002 327 017 262 223 301 ` e i 0011060 t h e r b y u s i n g a 0011100 s m a l l b u i l t - i n a 0011120 l g e b r a p a c k a g e o 0011140 r a c c e s s i n g w e l l 0011160 - k n o w n a l g e b r a s 0011200 y s t e m s s u c h a s 226 017 0011220 241 017 262 223 240 k 017 365 304 006 001 221 033 \0 \0 330 0011240 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0011260 232 240 n 240 j 017 247 240 227 304 004 004 [ 003 221 017 0011300 262 223 301 b R e d u c e [ H e a r 0011320 n , 1 9 8 2 ] , S M P [ W 0011340 o l f r a m , 1 9 8 5 ] , a 0011360 n d S A C - 2 [ C o l l i n 0011400 s , 1 9 8 0 ] o v e r a 0011420 n e t w o r k . T h e i n 0011440 t e r n a l 226 017 241 017 262 223 240 k 017 365 0011460 304 004 B c \0 % 212 304 002 001 \n 304 002 001 \n 240 0011500 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0011520 004 \a 262 005 301 017 262 223 301 b a l g e b r 0011540 a p a c k a g e i s b a s 0011560 e d o n a n o b j e c t - 0011600 o r i e n t e d p a r a d i g 0011620 m t h a t s u p p o r t s 0011640 p o l y m o r p h i c p r o c 0011660 e d u r e s . F o r 226 017 241 017 0011700 262 223 240 k 017 365 304 004 [ 305 \0 5 212 304 002 001 0011720 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0011740 j 017 247 240 227 304 004 \b \r 003 243 017 262 223 301 [ 0011760 e x a m p l e , w i t h C a 0012000 m i n o R e a l o n e c a n 0012020 e a s i l y c r e a t e a 0012040 n d p e r f o r m s i m p l 0012060 e a r i t h m e t i c o n 0012100 m a t r i c e s o f 226 017 241 017 262 0012120 223 240 k 017 365 304 006 \0 233 2 \0 \0 ] 212 304 002 0012140 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0012160 240 j 017 247 240 227 304 004 \f 344 \b 003 017 262 223 301 0012200 a p o l y n o m i a l s w i t 0012220 h c o m p l e x n u m b e r 0012240 c o e f f i c i e n t s , o 0012260 r m a t r i c e s o f s u 0012300 c h m a t r i c e s , e t c 0012320 . C a m i n o R e a l a l 0012340 s o 226 017 241 017 262 223 240 k 017 365 304 006 \0 233 0012360 311 \0 \0 a 212 304 002 001 \n 304 002 001 \n 240 233 021 0012400 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 005 0012420 217 004 304 017 262 223 301 e p r o v i d e s 0012440 a t e s t b e d f o r e 0012460 x p l o r i n g u s e r i n 0012500 t e r f a c e i s s u e s c 0012520 o n c e r n e d w i t h m a 0012540 n i p u l a t i n g m a t h e 0012560 m a t i c s w i t h i n 226 017 241 0012600 017 262 223 240 k 017 365 304 006 \0 200 030 \0 \0 S 212 0012620 017 247 240 227 301 \n d o c u m e n t s . 0012640 226 304 004 020 k \0 ( 304 004 ~ E \0 V 212 304 002 0012660 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 0012700 240 232 240 n 240 j 017 247 240 227 304 004 \n 006 005 } 0012720 017 262 223 301 V C a m i n o R e a l 0012740 h a s m u c h i n c o m m 0012760 o n w i t h o t h e r r e 0013000 c e n t w o r k , b u t w 0013020 e b e l i e v e i t h a s 0013040 t w o u n i q u e 226 017 241 017 262 0013060 223 240 k 017 365 304 006 \0 347 351 \0 \0 245 212 017 247 0013100 240 227 301 + f e a t u r e s a s 0013120 o f t h i s w r i t i n g 0013140 i n A u g u s t 1 9 8 7 : 226 0013160 304 004 # 371 \0 P 304 006 001 032 230 \0 \0 325 212 304 0013200 002 001 \n 304 002 001 \n 240 233 304 006 \0 200 267 \0 \0 0013220 P 017 240 240 232 240 n 240 j 017 247 240 227 301 002 1 0013240 . 226 304 004 021 223 \0 307 214 304 004 005 304 003 y 017 0013260 262 223 301 V T h e t i g h t c o 0013300 u p l i n g o f i t s c o 0013320 m p u t a t i o n f a c i l i 0013340 t i e s w i t h a s o p h 0013360 i s t i c a t e d d o c u m e 0013400 n t s y s t e m , 226 017 241 017 262 223 0013420 240 k 304 004 026 261 \0 ( 304 006 002 340 351 \0 002 G 0013440 212 304 002 001 \n 304 002 001 \n 240 233 304 004 ; 247 \0 0013460 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \0 0013500 336 \0 243 017 262 223 301 T t h e r e b y 0013520 o p e n i n g i n t e r e s t 0013540 i n g n e w o p p o r t u n 0013560 i t i e s f o r c o m p u t 0013600 e d a n d i n t e r a c t i 0013620 v e d o c u m e n t s 226 017 241 017 0013640 262 223 240 k 304 004 026 261 \0 ( 304 004 N 025 \0 A 0013660 212 017 247 240 227 301 ( ( d e t a i l s 0013700 i n s e c t i o n s 3 , 4 0013720 , a n d 5 b e l o w ) . 226 0013740 304 004 # 371 \0 P 304 004 5 341 \0 0 212 304 002 001 0013760 \n 304 002 001 \n 240 233 304 006 \0 200 267 \0 \0 P 017 0014000 240 240 232 240 n 240 j 017 247 240 227 301 002 2 . 226 0014020 304 004 021 223 \0 307 214 304 004 027 I \t 211 017 262 223 0014040 301 P T h e a c c e s s i b i l 0014060 i t y f r o m C a m i n o R 0014100 e a l o f a v a r i e t y 0014120 o f d i f f e r e n t c o 0014140 m p u t a t i o n a l ` ` m a 0014160 t h 226 017 241 017 262 223 240 k 304 004 026 261 \0 ( 0014200 304 006 001 314 375 \0 001 263 212 017 247 240 227 301 < s 0014220 e r v e r s ' ' o n o u r 0014240 l o c a l n e t w o r k ( d 0014260 e t a i l s i n s e c t i o 0014300 n 4 b e l o w ) . 226 304 004 020 k 0014320 \0 ( 304 004 G 342 \0 I 212 304 002 001 \n 304 002 001 0014340 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 240 n 240 0014360 j 017 247 240 227 304 004 \t y 004 030 017 262 223 301 X 0014400 T h e s e n o v e l c a p a 0014420 b i l i t i e s h a v e b e 0014440 e n f a c i l i t a t e d b 0014460 y b u i l d i n g C a m i n 0014500 o R e a l u p o n t h e r 0014520 i c h b a s e 226 017 241 017 262 223 240 k 0014540 017 365 304 006 \0 246 340 \0 \0 265 212 304 002 001 \n 304 0014560 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0014600 247 240 227 304 004 \r 245 \a P 017 262 223 301 Z p r 0014620 o v i d e d b y C e d a r , 0014640 t h e p r o g r a m m i n g 0014660 e n v i r o n m e n t o f 0014700 t h e C o m p u t e r S c i 0014720 e n c e L a b o r a t o r y 0014740 a t X e r o x 226 017 241 017 262 223 240 k 0014760 017 365 304 004 C 341 \0 O 212 304 002 001 \n 304 002 001 0015000 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0015020 227 304 004 002 W 001 x 017 262 223 301 020 P A R C 0015040 [ S w i n e h a r t 226 017 252 240 0015060 227 301 005 e t a l 226 017 247 240 227 301 I . 0015100 1 9 8 6 , D o n a h u e 1 0015120 9 8 6 ] . C a m i n o R e a 0015140 l a l s o d e p e n d s g 0015160 r e a t l y o n T i o g a , 0015200 C e d a r ' s 226 017 241 017 262 223 240 k 0015220 017 365 304 004 I G \0 \ 212 304 002 001 \n 304 002 001 0015240 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0015260 227 304 004 \b + 003 & 017 262 223 301 [ m u l t 0015300 i m e d i a d o c u m e n t 0015320 e d i t o r . T i o g a p 0015340 r o v i d e s d o c u m e n t 0015360 p r o d u c t i o n f a c i 0015400 l i t i e s f o r p r i n t 0015420 i n g a n d 226 017 241 017 262 223 240 k 017 0015440 365 304 004 \r 361 \0 023 212 304 002 001 \n 304 002 001 \n 0015460 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 0015500 304 004 004 235 003 \n 017 262 223 301 b m a n a g 0015520 i n g o t h e r d o c u m e 0015540 n t c o n s t i t u e n t s 0015560 s u c h a s t e x t , g r 0015600 a p h i c s , a n d v o i c 0015620 e . T h e s c r e e n , 0015640 m o u s e a c t i o n s 226 017 241 0015660 017 262 223 240 k 017 365 304 004 x 035 \0 263 212 304 002 0015700 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0015720 240 j 017 247 240 227 304 004 \v 226 \a 235 017 262 223 301 0015740 ^ a n d k e y b o a r d i n 0015760 p u t a r e m a n a g e d 0016000 b y t h e C e d a r v i e 0016020 w e r s p a c k a g e . A 0016040 v i e w e r i s a w i n 0016060 d o w t h a t c a n b e 226 0016100 017 241 017 262 223 240 k 017 365 304 006 001 L 274 \0 002 0016120 # 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0016140 240 232 240 n 240 j 017 247 240 227 304 004 \b F 005 321 0016160 017 262 223 301 _ s c r o l l e d a n 0016200 d r e s i z e d , a n d a 0016220 v i e w e r c a n h a v e 0016240 b u t t o n s a n d p o p 0016260 - u p m e n u s t h a t i 0016300 n v o k e c o m m a n d s . 0016320 T h e 226 017 241 017 262 223 240 k 017 365 304 004 0016340 ( _ \0 J 212 017 247 240 227 301 6 m o u s e 0016360 i s u s e d t o p o i n 0016400 t a n d s e l e c t t e x 0016420 t o r e x p r e s s i o n s 0016440 . 226 304 004 020 k \0 ( 304 004 \t i \0 024 212 304 0016460 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 0016500 240 240 232 240 n 240 j 017 247 240 227 304 004 $ 332 $ 0016520 k 017 262 223 301 b C a m i n o R e a l 0016540 i s a p r o t o t y p e 0016560 o f a r e c e n t l y p r 0016600 o p o s e d s t a n d a r d 0016620 a r c h i t e c t u r e [ A r 0016640 n o n , 1 9 8 7 ] f o r s 0016660 o - c a l l e d 226 017 241 017 262 223 240 k 0016700 017 365 304 004 ( 307 \0 d 212 304 002 001 \n 304 002 001 0016720 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0016740 227 304 004 005 217 002 Z 017 262 223 301 ` ` ` m a 0016760 t h e m a t i c a l s y s t e 0017000 m s , ' ' i n w h i c h o 0017020 n e c a n e d i t t h e 0017040 m a t h e m a t i c a l n o t 0017060 a t i o n i n t e r a c t i v 0017100 e l y , d i s p l a y 226 017 241 017 0017120 262 223 240 k 017 365 304 004 " 201 \0 d 212 304 002 001 0017140 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0017160 j 017 247 240 227 304 004 002 234 002 001 017 262 223 301 c 0017200 m a t h e m a t i c s i n i 0017220 t s t r a d i t i o n a l t 0017240 w o - d i m e n s i o n a l a 0017260 p p e a r a n c e , c o m p u 0017300 t e s y m b o l i c a l l y 0017320 o r n u m e r i c a l l y w 0017340 i t h 226 017 241 017 262 223 240 k 017 365 304 004 034 0017360 ; \0 d 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0017400 017 240 240 232 240 n 240 j 017 247 240 227 304 004 027 224 0017420 \v ; 017 262 223 301 \ t h e m a t h e 0017440 m a t i c a l e x p r e s s i 0017460 o n s , a n d f o r m a t 0017500 a n d o r g a n i z e d o c 0017520 u m e n t s c o n t a i n i n 0017540 g s u c h m a t h e m a t i 0017560 c a l 226 017 241 017 262 223 240 k 240 k 240 j 017 0017600 241 017 245 223 304 006 \0 \0 035 001 B Q 240 244 240 250 0017620 304 004 5 343 \0 = 304 004 035 313 \0 310 212 305 005 X 0017640 e r o x 305 \n P r e s s F o n t s 0017660 305 016 T i m e s R o m a n - M R R 0017700 017 243 241 033 240 223 304 004 003 # \0 d 240 244 240 224 0017720 017 251 225 017 251 240 227 301 ! S U B M I T T 0017740 E D T O E P 8 8 F O R P 0017760 U B L I C A T I O N 226 017 247 240 227 017 0020000 365 304 004 t 017 \0 ( 212 301 001 2 226 304 004 _ u 0020020 \0 207 304 004 t 017 \0 ( 212 017 251 240 227 301 0 C 0020040 A M I N O R E A L : A N I N 0020060 T E R A C T I V E M A T H E M 0020100 A T I C A L N O T E B O O K 226 0020120 017 365 304 006 \0 203 033 \0 \0 1 212 017 247 240 227 301 0020140 D o b j e c t s . W e s u 0020160 m m a r i z e t h i s a r c 0020200 h i t e c t u r e i n s e c 0020220 t i o n 2 o f t h i s p 0020240 a p e r . 226 304 004 020 k \0 ( 304 006 \0 224 0020260 : \0 \0 9 212 017 247 240 227 301 1 C a m i n 0020300 o R e a l i s c o m p o s e 0020320 d o f t h r e e m a j o r 0020340 c o m p o n e n t s : 226 304 004 # 0020360 371 \0 P 304 006 \0 307 5 \0 \0 O 212 017 245 240 227 0020400 301 006 M e d d l e 226 017 247 240 227 301 / , 0020420 a n i n t e r a c t i v e 0020440 m a t h e m a t i c s e x p r 0020460 e s s i o n e d i t o r , 226 304 0020500 004 # 371 \0 P 304 006 \0 225 002 \0 \0 = 212 304 002 0020520 001 \n 304 002 001 \n 240 233 304 006 \0 200 267 \0 \0 P 0020540 017 240 240 232 240 n 240 j 017 245 240 227 304 004 006 265 0020560 004 l 017 262 223 301 021 A l g e b r a S t 0020600 r u c t u r e s 226 017 247 240 227 301 H , 0020620 a n e x p l o r a t o r y 0020640 d o m a i n - b a s e d a l g 0020660 e b r a s y s t e m w i t h 0020700 r e m o t e a c c e s s t 0020720 o o t h e r 226 017 241 017 262 223 240 k 304 0020740 004 026 261 \0 ( 304 006 \0 342 032 \0 \0 _ 212 017 247 0020760 240 227 301 7 a l g e b r a s e r v 0021000 i c e s v i a d i s t r i b 0021020 u t e d n e t w o r k p r o 0021040 t o c o l s , a n d 226 304 004 # 371 0021060 \0 P 304 004 G V \0 037 212 017 245 240 227 301 005 T 0021100 i o g a 226 017 247 240 227 301 7 , t h e 0021120 i n t e g r a t e d m u l t 0021140 i m e d i a d o c u m e n t 0021160 p r o d u c t i o n s y s t e 0021200 m . 226 304 004 020 k \0 ( 304 006 005 345 ; \0 002 0021220 246 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 0021240 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0021260 024 343 \b 231 017 262 223 301 V S e c t i o n 0021300 3 b e l o w d i s c u s s 0021320 e s M e d d l e a n d T i 0021340 o g a , a n d s e c t i o n 0021360 4 c o v e r s A l g e b r 0021400 a S t r u c t u r e s a n d 226 0021420 017 241 017 262 223 240 k 017 365 304 006 \0 212 s \0 \0 0021440 @ 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0021460 240 232 240 n 240 j 017 247 240 227 304 004 \v r \b } 0021500 017 262 223 301 c a d d i t i o n a l 0021520 m e a n s o f c o m p u t a 0021540 t i o n . I n s e c t i o 0021560 n 4 . 2 w e e x p l a i n 0021600 s o m e o f t h e r e a 0021620 s o n s w h y w e b e l i 0021640 e v e t h a t 226 017 241 017 262 223 240 k 0021660 017 365 304 004 ' 351 \0 023 212 304 002 001 \n 304 002 001 0021700 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0021720 227 304 004 006 331 003 357 017 262 223 301 a a s s o 0021740 c i a t i n g d o m a i n s 0021760 w i t h m a t h e m a t i c a 0022000 l e x p r e s s i o n s c a 0022020 n b e a s i g n i f i c a 0022040 n t h e l p i n d o c u m 0022060 e n t c r e a t i o n , 226 017 241 0022100 017 262 223 240 k 017 365 304 006 \0 204 u \0 \0 A 212 0022120 017 247 240 227 301 035 p r o o f r e a d i 0022140 n g a n d c o m p u t a t i 0022160 o n . 226 304 004 020 k \0 ( 304 006 001 \b 365 \0 0022200 \0 207 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 0022220 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 0022240 004 004 307 003 036 017 262 223 301 _ C a m i n o 0022260 R e a l s u p p o r t s t h 0022300 e c r e a t i o n o f ` ` 0022320 i n t e r a c t i v e ' ' t e 0022340 c h n i c a l d o c u m e n t 0022360 s . F o r e x a m p l e , 0022400 t h e u s e r 226 017 241 017 262 223 240 0022420 k 017 365 304 004 s 345 \0 = 212 304 002 001 \n 304 002 0022440 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0022460 240 227 304 004 \b 237 \a x 017 262 223 301 f c a n 0022500 b r o w s e a t y p e s e 0022520 t d r a f t o f a t e c 0022540 h n i c a l d o c u m e n t 0022560 o n t h e w o r k s t a t i 0022600 o n s c r e e n , s e l e c 0022620 t , e d i t a n d c o m p 0022640 u t e 226 017 241 017 262 223 240 k 017 365 304 004 K 0022660 S \0 ) 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0022700 017 240 240 232 240 n 240 j 017 247 240 227 304 004 022 363 0022720 \b 340 017 262 223 301 ^ w i t h m a t h 0022740 e m a t i c a l e x p r e s s 0022760 i o n s i n t h e d o c u 0023000 m e n t ( b e s i d e s e d 0023020 i t i n g o t h e r d o c u 0023040 m e n t c o n s t i t u e n t 0023060 s , o f 226 017 241 017 262 223 240 k 017 365 304 0023100 004 > 033 \0 # 212 304 002 001 \n 304 002 001 \n 240 233 0023120 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0023140 006 021 004 264 017 262 223 301 f c o u r s e ) 0023160 , a n d i n s e r t t h e 0023200 r e s u l t i n g e x p r e 0023220 s s i o n s b a c k i n t o 0023240 t h e d o c u m e n t . 0023260 O n e c a n e x t e n d t 0023300 h i s s c e n a r i o t o 226 0023320 017 241 017 262 223 240 k 017 365 304 004 p 371 \0 B 212 0023340 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0023360 240 n 240 j 017 247 240 227 304 004 \t 331 004 274 017 262 0023400 223 301 [ t h e n o t i o n o f 0023420 a ` ` c o m p u t e d d o 0023440 c u m e n t , ' ' t h a t i 0023460 s , a d o c u m e n t w i 0023500 t h i m b e d d e d c o m p 0023520 u t a t i o n s . T w o 226 017 0023540 241 017 262 223 240 k 017 365 304 004 T 031 \0 3 212 304 0023560 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0023600 n 240 j 017 247 240 227 304 004 \v 371 006 316 017 262 223 0023620 301 a p a r t i c u l a r l y u 0023640 s e f u l f l a v o r s o f 0023660 c o m p u t e d d o c u m e 0023700 n t s a r e m a t h e m a t 0023720 i c a l f o r m l e t t e r 0023740 s a n d s p r e a d s h e e 0023760 t s , 226 017 241 017 262 223 240 k 017 365 304 004 024 0024000 237 \0 \r 212 017 247 240 227 301 036 w h i c h 0024020 w e d i s c u s s i n s e 0024040 c t i o n 5 . 226 017 365 304 004 Q 301 \0 0024060 8 212 305 005 X e r o x 305 \n P r e s s 0024100 F o n t s 305 016 T i m e s R o m a 0024120 n - B R R 017 243 241 033 240 223 304 004 003 # \0 0024140 P 240 244 240 224 017 252 225 017 252 240 227 301 021 1 . 0024160 2 P r e v i o u s w o r k 226 0024200 304 004 020 k \0 ( 304 004 p 373 \0 S 212 304 002 001 0024220 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 0024240 232 240 n 240 j 017 247 240 227 304 004 003 222 002 315 017 0024260 262 223 301 ` I n t h e 2 7 y e 0024300 a r s s i n c e J . C . R . 0024320 L i c k l i d e r p r e s e 0024340 n t e d t h e n o t i o n 0024360 o f m a n - c o m p u t e r 0024400 s y m b i o s i s [ L i c k l 0024420 i d e r 226 017 241 017 262 223 240 k 017 365 304 004 0024440 O 5 \0 = 212 304 002 001 \n 304 002 001 \n 240 233 021 0024460 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 016 0024500 273 005 n 017 262 223 301 \ 1 9 6 0 ] , t 0024520 h e r e h a v e b e e n c 0024540 o n t i n u o u s e f f o r t 0024560 s t o d e f i n e a n d 0024600 b u i l d s u c h ` ` s y m 0024620 b i o t i c s y s t e m s ' ' 0024640 f o r 226 017 241 017 262 223 240 k 017 365 304 006 0024660 002 \n 270 \0 001 247 212 304 002 001 \n 304 002 001 \n 240 0024700 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0024720 004 % 036 033 [ 017 262 223 301 [ m a t h e m 0024740 a t i c a l w o r k . C l 0024760 a p p a n d K a i n ' s M 0025000 a g i c P a p e r s y s t e 0025020 m [ 1 9 6 3 ] , M i n s k y 0025040 ' s M A T H S C O P E p r o 0025060 p o s a l 226 017 241 017 262 223 240 k 017 365 304 0025100 004 P 360 \0 E 212 304 002 001 \n 304 002 001 \n 240 233 0025120 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0025140 022 252 021 y 017 262 223 301 f [ 1 9 6 3 ] , 0025160 a n d M a r t i n ' s S y 0025200 m b o l i c M a t h e m a t i 0025220 c a l L a b o r a t o r y [ 0025240 1 9 6 7 ] a p p e a r t o 0025260 b e t h e e a r l i e s t . 0025300 T h e p a p e r s o f 226 0025320 017 241 017 262 223 240 k 017 365 304 004 ` 230 \0 W 212 0025340 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0025360 240 n 240 j 017 247 240 227 304 004 \t 003 \b 355 017 262 0025400 223 301 b S a m m e t [ 1 9 6 6 ] 0025420 , G r i e s m e r / J e n k s 0025440 [ 1 9 7 1 ] , S u n d b l a 0025460 d [ 1 9 7 4 ] , N g [ 1 9 0025500 7 9 ] , B e r m a n / K u l p 0025520 [ 1 9 7 9 ] , H e a r n [ 0025540 1 9 8 0 , 226 017 241 017 262 223 240 k 017 365 304 0025560 004 7 205 \0 5 212 304 002 001 \n 304 002 001 \n 240 233 0025600 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0025620 001 217 \0 342 017 262 223 301 c 1 9 8 2 ] , 0025640 A l l e n / N i x / P e r l i s 0025660 [ 1 9 8 1 ] , F o s t e r 0025700 [ 1 9 8 4 ] , E n g e l e r 0025720 [ 1 9 8 5 ] , a n d F i c h 0025740 [ 1 9 8 6 ] c h r o n i c l 0025760 e s u b s e q u e n t 226 017 241 017 0026000 262 223 240 k 017 365 304 004 Y 236 \0 [ 212 304 002 001 0026020 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0026040 j 017 247 240 227 304 004 \v 212 \a { 017 262 223 301 ^ 0026060 p r o g r e s s a n d o f f 0026100 e r p o i n t e r s t o t 0026120 h e f u t u r e . M a t h 0026140 S c r i b e [ S m i t h / S o 0026160 i f f e r 1 9 8 6 ] , M a t 0026200 h C A D [ M a t h S O F T 226 017 0026220 241 017 262 223 240 k 017 365 304 004 022 q \0 024 212 304 0026240 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0026260 n 240 j 017 247 240 227 304 004 037 267 \b 177 017 262 223 0026300 301 R 1 9 8 6 ] , t h e D y n 0026320 a m i c i s t ' s W o r k b e 0026340 n c h [ A b e l s o n 1 9 8 0026360 7 ] , M U F I E [ S p i r k 0026400 o v s k a 1 9 8 6 ] , a n d 0026420 t h e 226 017 241 017 262 223 240 k 017 365 304 004 0026440 U 023 \0 c 212 304 002 001 \n 304 002 001 \n 240 233 021 0026460 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 001 0026500 017 \0 204 017 262 223 301 ^ E n g i n e e r 0026520 i n g / S c i e n t i f i c W 0026540 o r k s t a t i o n [ B l o o 0026560 m b e r g / H o g g 1 9 8 7 ] 0026600 a r e r e p r e s e n t a t 0026620 i v e e x a m p l e s o f 0026640 r e c e n t 226 017 241 017 262 223 240 k 017 365 0026660 304 004 - h \0 9 212 017 247 240 227 301 005 w o r 0026700 k . 226 304 004 020 k \0 ( 304 004 H % \0 d 212 0026720 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 0026740 017 240 240 232 240 n 240 j 017 247 240 227 304 004 001 \r 0026760 \0 264 017 262 223 301 ] F o l l o w i n g 0027000 L i c k l i d e r a n d m 0027020 o s t o f t h e w o r k s 0027040 j u s t c i t e d , w h e 0027060 n w e d i s c u s s m a t 0027100 h e m a t i c a l s y s t e m 0027120 s i n 226 017 241 017 262 223 240 k 017 365 304 004 0027140 A 337 \0 d 212 304 002 001 \n 304 002 001 \n 240 233 021 0027160 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \a 0027200 257 004 \t 017 262 223 301 c t h i s p a p 0027220 e r , w e e x c l u d e f 0027240 r o m c o n s i d e r a t i o 0027260 n t h o s e a s p e c t s 0027300 t h a t p e r t a i n t o 0027320 i n t e l l i g e n c e , l e 0027340 a r n i n g , a n d 226 017 241 017 262 0027360 223 240 k 017 365 304 004 ; 231 \0 d 212 304 002 001 \n 0027400 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0027420 017 247 240 227 304 004 004 226 002 / 017 262 223 301 _ a 0027440 u t o m a t e d r e a s o n i 0027460 n g . T h e s e a r e i 0027500 s s u e s o f c o m p e l l 0027520 i n g i n t e r e s t , b u 0027540 t w e b e l i e v e t h a 0027560 t c e r t a i n m o r e 226 017 0027600 241 017 262 223 240 k 017 365 304 004 5 S \0 d 212 304 0027620 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0027640 n 240 j 017 247 240 227 304 004 006 % 002 306 017 262 223 0027660 301 Z m u n d a n e t o p i c s 0027700 d e s e r v e g r e a t e r 0027720 n e a r - t e r m p r i o r 0027740 i t y . M u c h r e m a i 0027760 n s t o b e d o n e b e 0030000 f o r e w e h a v e 226 017 241 017 0030020 262 223 240 k 017 365 304 004 \t i \0 024 212 304 002 001 0030040 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0030060 j 017 247 240 227 304 004 \a 207 005 3 017 262 223 301 d 0030100 s a t i s f a c t o r y ` ` m 0030120 u n d a n e ' ' s y s t e m s 0030140 , a n d w e n e e d g o 0030160 o d ` ` d u m b ' ' s y s t 0030200 e m s b e f o r e w e t r 0030220 y f o r g o o d ` ` s m a 0030240 r t ' ' 226 017 241 017 262 223 240 k 017 365 304 004 0030260 ( 307 \0 d 212 304 002 001 \n 304 002 001 \n 240 233 021 0030300 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \b 0030320 C 003 356 017 262 223 301 ` o n e s . S 0030340 o m e e x a m p l e s o f 0030360 t h e s o r t o f ` ` i n 0030400 t e l l i g e n c e ' ' t h a 0030420 t w e e x c l u d e f r o 0030440 m c o n s i d e r a t i o n 0030460 a r e : t h e 226 017 241 017 262 223 240 k 0030500 017 365 304 004 " 201 \0 d 212 304 002 001 \n 304 002 001 0030520 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0030540 227 304 004 \b a 006 217 017 262 223 301 ^ " m e n 0030560 t o r " a n d p r o b l e m 0030600 - s o l v i n g c a p a b i l 0030620 i t i e s p r o j e c t e d 0030640 f o r M A C S Y M A i n s 0030660 e c t i o n I o f M a r t 0030700 i n / F a t e m a n 226 017 241 017 262 223 0030720 240 k 017 365 304 004 B 350 \0 355 212 304 002 001 \n 304 0030740 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0030760 247 240 227 304 004 006 317 002 302 017 262 223 301 [ [ 1 0031000 9 7 1 ] , t h e E n g l i s 0031020 h - s p e a k i n g M A C S Y 0031040 M A A d v i s o r d e s c r 0031060 i b e d i n G e n e s e r e 0031100 t h [ 1 9 7 7 ] , t h e a 0031120 r t i f i c i a l 226 017 241 017 262 223 240 0031140 k 240 k 240 j 017 241 017 245 223 304 006 \0 \0 035 001 0031160 B Q 240 244 240 250 304 004 5 343 \0 = 304 004 035 313 0031200 \0 310 212 305 005 X e r o x 305 \n P r e s 0031220 s F o n t s 305 016 T i m e s R o m 0031240 a n - M R R 017 243 241 033 240 223 304 004 003 # 0031260 \0 d 240 244 240 224 017 251 225 017 251 240 227 301 ! S 0031300 U B M I T T E D T O E P 8 8 0031320 F O R P U B L I C A T I O N 0031340 226 304 004 ' 371 \0 : 304 004 t 017 \0 ( 212 017 251 0031360 240 227 301 0 C A M I N O R E A L : 0031400 A N I N T E R A C T I V E M 0031420 A T H E M A T I C A L N O T E 0031440 B O O K 226 017 247 240 227 304 004 ; u \0 035 304 0031460 004 t 017 \0 ( 212 301 001 3 226 017 365 304 006 \0 203 0031500 033 \0 \0 1 212 304 002 001 \n 304 002 001 \n 240 233 021 0031520 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \b 0031540 \t 006 l 017 262 223 301 i i n t e l l i g 0031560 e n c e a s p e c t s o f 0031600 t h e s y s t e m d e s i g 0031620 n i n C a l m e t / L u g i 0031640 e z [ 1 9 8 7 ] , t h e t 0031660 u t o r i n g a b i l i t i e 0031700 s o f t h e c a l c u l u 0031720 s 226 017 241 017 262 223 240 k 017 365 304 006 \0 350 214 0031740 \0 \0 Y 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0031760 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \t 232 0032000 004 245 017 262 223 301 e n v i r o n m e 0032020 n t d e s c r i b e d i n 0032040 S u p p e s 226 305 005 X e r o x 305 0032060 \n P r e s s F o n t s 305 016 T i m 0032100 e s R o m a n - M I R 017 243 241 033 240 0032120 223 304 004 003 # \0 P 240 244 240 224 017 252 225 017 252 0032140 240 227 301 006 e t a l . 226 017 247 240 227 301 0032160 8 [ 1 9 8 7 ] , a n d t h 0032200 e t h e o r e m p r o v i n 0032220 g a n d h e u r i s t i c 0032240 r e a s o n i n g 226 017 241 017 262 223 240 0032260 k 017 365 304 004 O 016 \0 037 212 017 247 240 227 301 ( 0032300 f u n c t i o n a l i t y d e 0032320 s c r i b e d i n B u n d y 0032340 [ 1 9 8 6 ] . 226 304 004 020 k \0 ( 304 0032360 006 \0 260 227 \0 \0 G 212 304 002 001 \n 304 002 001 \n 0032400 240 233 304 004 A 355 \0 ( 017 240 240 232 240 n 240 j 0032420 017 247 240 227 304 004 004 c 001 376 017 262 223 301 Y O 0032440 u r w o r k o n C a m i n 0032460 o R e a l , l i k e m o s t 0032500 o t h e r c u r r e n t w 0032520 o r k i n t h i s f i e l 0032540 d , l e v e r a g e s o f f 0032560 c e r t a i n 226 017 241 017 262 223 240 k 0032600 017 365 304 006 \0 277 210 \0 \0 O 212 304 002 001 \n 304 0032620 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0032640 247 240 227 304 004 001 202 001 W 017 262 223 301 f h a 0032660 r d w a r e a n d s o f t w 0032700 a r e d e v e l o p m e n t s 0032720 . I n h a r d w a r e , 0032740 t h e s e a r e : ( 1 ) h 0032760 i g h - r e s o l u t i o n s 0033000 c r e e n s a n d p r i n t 0033020 e r s , 226 017 241 017 262 223 240 k 017 365 304 006 0033040 \0 374 264 \0 \0 k 212 304 002 001 \n 304 002 001 \n 240 0033060 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0033100 004 \t 254 \b 207 017 262 223 301 h ( 2 ) p o 0033120 i n t i n g d e v i c e s , 0033140 s u c h a s m i c e , l i 0033160 g h t - p e n s a n d t o u 0033200 c h - s e n s i t i v e s c r 0033220 e e n s , ( 3 ) h i g h - s 0033240 p e e d n e t w o r k s , a 0033260 n d 226 017 241 017 262 223 240 k 017 365 304 006 002 263 0033300 376 \0 001 - 212 304 002 001 \n 304 002 001 \n 240 233 021 0033320 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 005 0033340 364 004 s 017 262 223 301 d ( 4 ) p e r s 0033360 o n a l c o m p u t e r s . 0033400 I m p o r t a n t s o f t w 0033420 a r e d e v e l o p m e n t s 0033440 a r e : ( 1 ) t h e e m 0033460 e r g e n c e o f l a r g e 0033500 c o l l e c t i o n s 226 017 241 017 0033520 262 223 240 k 017 365 304 004 3 o \0 027 212 304 002 001 0033540 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0033560 j 017 247 240 227 304 004 006 253 005 214 017 262 223 301 f 0033600 o f s o p h i s t i c a t e d 0033620 a n d p o w e r f u l s y 0033640 m b o l i c a n d n u m e r 0033660 i c a l s o f t w a r e , ( 0033700 2 ) t h e r a p i d d i f 0033720 f u s i o n o f h i g h - q 0033740 u a l i t y 226 017 241 017 262 223 240 k 017 365 0033760 304 004 w 213 \0 7 212 304 002 001 \n 304 002 001 \n 240 0034000 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0034020 004 \b 243 004 317 017 262 223 301 b e l e c t r 0034040 o n i c p u b l i s h i n g 0034060 s y s t e m s t h a t u t i 0034100 l i z e t h e h a r d w a r 0034120 e d e v i c e s j u s t e 0034140 n u m e r a t e d , a n d ( 0034160 3 ) t h e b r o a d 226 017 241 017 0034200 262 223 240 k 017 365 304 006 \0 215 l \0 \0 C 212 304 0034220 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0034240 n 240 j 017 247 240 227 304 004 003 w 002 ) 017 262 223 0034260 301 a a c c e p t a n c e o f 0034300 c e r t a i n u s e r i n t 0034320 e r f a c e p a r a d i g m s 0034340 f o r i n t e r a c t i v e 0034360 s o f t w a r e , s u c h 0034400 a s W Y S I W Y G e d i t i 0034420 n g , 226 017 241 017 262 223 240 k 017 365 304 004 t 0034440 275 \0 9 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0034460 017 240 240 232 240 n 240 j 017 247 240 227 304 004 005 - 0034500 002 [ 017 262 223 301 Z d i r e c t m a 0034520 n i p u l a t i o n [ S h n e 0034540 i d e r m a n n 1 9 8 3 ] , 0034560 m e n u s , w i n d o w s , 0034600 h o l o p h r a s t i n g [ K 0034620 o v e d / S h n e i d e r m a n 0034640 n 226 017 241 017 262 223 240 k 017 365 304 004 ) 261 \0 0034660 025 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0034700 240 232 240 n 240 j 017 247 240 227 304 004 \b _ 006 r 0034720 017 262 223 301 c 1 9 8 6 ] , i c o n 0034740 s , a n d b r o w s e r s . 0034760 C e r t a i n o f t h e 0035000 s e d e v e l o p m e n t s 0035020 o r i g i n a t e d a t X e 0035040 r o x P A R C [ C r e c i n 0035060 e 1 9 8 6 ] , 226 017 241 017 262 223 240 k 0035100 017 365 304 006 \0 302 . \0 \0 e 212 304 002 001 \n 304 0035120 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0035140 247 240 227 304 004 023 177 \n 201 017 262 223 301 ^ a n 0035160 d m o s t a r e w e l l 0035200 i n t e g r a t e d i n t o 0035220 t h e C e d a r e n v i r o 0035240 n m e n t . W e v i e w 0035260 e l e c t r o n i c m a i l 0035300 a s a f o r m o f 226 017 241 017 0035320 262 223 240 k 017 365 304 006 \0 254 367 \0 \0 ] 212 017 0035340 247 240 227 301 026 e l e c t r o n i c 0035360 p u b l i s h i n g . 226 304 004 020 k 0035400 \0 ( 304 006 002 274 307 \0 001 206 212 304 002 001 \n 304 0035420 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 240 0035440 n 240 j 017 247 240 227 304 004 025 214 \b 373 017 262 223 0035460 301 X P r e v i o u s w o r k 0035500 o n m a t h e m a t i c a l 0035520 s y s t e m s h a s n o t 0035540 d e a l t c o n c l u s i v e 0035560 l y w i t h t h e i n t e 0035600 g r a t i o n o f 226 017 241 017 262 223 0035620 240 k 017 365 304 004 033 277 \0 020 212 304 002 001 \n 304 0035640 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0035660 247 240 227 304 004 \t # 004 220 017 262 223 301 ^ d o 0035700 c u m e n t s a n d c o m p 0035720 u t a t i o n . A s d e t 0035740 a i l e d i n t h e r e f 0035760 e r e n c e s [ W a c t l a r 0036000 1 9 6 4 ] , [ F o d e r a r 0036020 o 1 9 7 9 ] , a n d 226 017 241 017 0036040 262 223 240 k 017 365 304 004 Q 346 \0 1 212 304 002 001 0036060 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0036100 j 017 247 240 227 304 004 003 { 001 367 017 262 223 301 ` 0036120 [ F a t e m a n 1 9 8 7 ] , 0036140 a n u m b e r o f t r a n 0036160 s l a t o r s f o r c o m p 0036200 u t a t i o n a l s y s t e m 0036220 s h a v e b e e n b u i l 0036240 t f o r c o n v e r t i n g 0036260 226 017 241 017 262 223 240 k 017 365 304 006 \0 270 377 \0 0036300 \0 s 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0036320 240 240 232 240 n 240 j 017 247 240 227 304 004 005 351 003 0036340 243 017 262 223 301 d i n t e r n a l r 0036360 e p r e s e n t a t i o n s o 0036400 f m a t h e m a t i c a l e 0036420 x p r e s s i o n s i n t o 0036440 t y p e s e t q u a l i t y 0036460 o u t p u t . H o w e v e r 0036500 , t h i s h a s 226 017 241 017 262 223 0036520 240 k 017 365 304 004 3 004 \0 ! 212 304 002 001 \n 304 0036540 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0036560 247 240 227 304 004 032 233 030 ! 017 262 223 301 e b e 0036600 e n a o n e - w a y p a t 0036620 h . O n c e t h e c o n 0036640 v e r s i o n i s d o n e , 0036660 o n e c a n n o t s u b s 0036700 e q u e n t l y a c c e s s 0036720 t h e e x p r e s s i o n s 0036740 f o r 226 017 241 017 262 223 240 k 017 365 304 004 p 0036760 271 \0 L 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0037000 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \a + 0037020 006 276 017 262 223 301 \ c o m p u t a t i 0037040 o n . A l t h o u g h a 0037060 n u m b e r o f i n t e r a 0037100 c t i v e W Y S I W Y G m a 0037120 t h e m a t i c a l s y s t e 0037140 m s , s u c h a s M a t h 0037160 C A D 226 017 241 017 262 223 240 k 017 365 304 004 q 0037200 243 \0 P 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0037220 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \v \a 0037240 \t 221 017 262 223 301 b [ M a t h S o f t 0037260 1 9 8 6 ] , M I L O [ A v 0037300 i t z u r 1 9 8 7 ] , a n d 0037320 I N F O R [ S c h e l t e r 0037340 1 9 8 7 ] , a l l o w t h 0037360 e p r o d u c t i o n o f 0037400 s o m e s o r t 226 017 241 017 262 223 240 0037420 k 017 365 304 004 ` f \0 G 212 304 002 001 \n 304 002 0037440 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0037460 240 227 304 004 002 A 001 036 017 262 223 301 ^ o f 0037500 d o c u m e n t , o n l y I 0037520 N F O R c o u l d b e s a 0037540 i d t o s u p p o r t p r 0037560 o f e s s i o n a l - q u a l i 0037600 t y t y p e s e t t i n g f 0037620 o r t e x t a n d 226 017 241 017 262 0037640 223 240 k 017 365 304 006 \0 271 / \0 \0 217 212 304 002 0037660 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0037700 240 j 017 247 240 227 304 004 006 177 004 033 017 262 223 301 0037720 b m a t h e m a t i c s , b u 0037740 t i t h a s n o p r o v 0037760 i s i o n f o r o t h e r 0040000 m e d i a s u c h a s v o 0040020 i c e o r c o m p l e x g 0040040 r a p h i c s , a n d i s 0040060 n o t 226 017 241 017 262 223 240 k 017 365 304 004 s 0040100 325 \0 ^ 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0040120 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \a 335 0040140 003 020 017 262 223 301 Y c u r r e n t l y 0040160 c o n n e c t e d t o c o 0040200 m p u t a t i o n a l s y s t 0040220 e m s . R e c e n t m u l 0040240 t i m e d i a d o c u m e n t 0040260 s y s t e m s s u c h a s 0040300 226 017 241 017 262 223 240 k 017 365 304 004 [ 9 \0 N 0040320 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0040340 232 240 n 240 j 017 247 240 227 304 004 \r O \a 230 017 0040360 262 223 301 * D i a m o n d [ C r o 0040400 w l e y 1 9 8 7 ] a n d A 0040420 n d r e w [ M o r r i s 226 305 0040440 005 X e r o x 305 \n P r e s s F o n 0040460 t s 305 016 T i m e s R o m a n - M 0040500 I R 017 243 241 033 240 223 304 004 003 # \0 P 240 244 0040520 240 224 017 252 225 017 252 240 227 301 006 e t a l 0040540 . 226 017 247 240 227 301 - 1 9 8 6 ] s 0040560 u p p o r t a r a n g e o 0040600 f m e d i a , b u t a r e 0040620 o n l y 226 017 241 017 262 223 240 k 017 365 304 0040640 004 X 213 \0 P 212 304 002 001 \n 304 002 001 \n 240 233 0040660 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0040700 005 H 003 243 017 262 223 301 a b e g i n n i 0040720 n g t o s u p p o r t m a 0040740 t h i n d o c u m e n t s , 0040760 a n d d o n o t y e t 0041000 a d d r e s s t h e i s s u 0041020 e o f c o m p u t a t i o n 0041040 s w i t h t h e 226 017 241 017 262 223 0041060 240 k 017 365 304 006 \0 264 237 \0 \0 255 212 304 002 001 0041100 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0041120 j 017 247 240 227 304 004 003 273 003 . 017 262 223 301 a 0041140 m a t h i n a d o c u m e 0041160 n t . A l l e n / N i x / P 0041200 e r l i s ' s e x p e r i m e 0041220 n t a l P E N s y s t e m 0041240 [ A l l e n 1 9 8 1 ] h a d 0041260 s o m e o f t h e s a m 0041300 e 226 017 241 017 262 223 240 k 017 365 304 004 026 222 \0 0041320 027 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0041340 240 232 240 n 240 j 017 247 240 227 304 004 217 031 021 0041360 017 262 223 301 e g o a l s a s C a 0041400 m i n o R e a l ; i t s d e 0041420 s i g n d e c i s i o n s a 0041440 r e a c o n t i n u i n g 0041460 r e s o u r c e a s w e a 0041500 t t e m p t t o b u i l d 0041520 s y s t e m s o f 226 017 241 017 262 223 0041540 240 k 017 365 304 004 c 5 \0 l 212 304 002 001 \n 304 0041560 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0041600 247 240 227 304 004 001 7 001 017 017 262 223 301 d b r 0041620 o a d e r s c o p e . S p 0041640 r e a d s h e e t s y s t e m 0041660 s c a n b e s a i d t o 0041700 i n t e g r a t e d o c u m 0041720 e n t s a n d c o m p u t a 0041740 t i o n , b u t t h e y a 0041760 r e 226 017 241 017 262 223 240 k 017 365 304 004 # 027 0042000 \0 ) 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0042020 240 240 232 240 n 240 j 017 247 240 227 304 004 004 367 004 0042040 351 017 262 223 301 g t y p i c a l l y 0042060 l i m i t e d i n t h e t 0042100 y p e s o f d o c u m e n t 0042120 s t h a t c a n b e c r 0042140 e a t e d , a n d t h e m 0042160 e d i a t h a t t h o s e 0042200 d o c u m e n t s c a n 226 017 241 0042220 017 262 223 240 k 017 365 304 004 ? s \0 P 212 304 002 0042240 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0042260 240 j 017 247 240 227 304 004 005 M 003 W 017 262 223 301 0042300 b c o n t a i n . F o r u 0042320 s , d o c u m e n t s s u c 0042340 h a s m u l t i m e d i a 0042360 t e c h n i c a l p a p e r s 0042400 , a u t o m a t i c a l l y 0042420 g e n e r a t e d l o g s , 0042440 a n d 226 017 241 017 262 223 240 k 017 365 304 004 A 0042460 001 \0 Y 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0042500 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \f 211 0042520 \t 034 017 262 223 301 k a u d i t t r a 0042540 i l s ( s e e s e c t i o n 0042560 5 . 2 f o r a d i s c u 0042600 s s i o n o f t h e l a t 0042620 t e r ) , a r e a c r u c 0042640 i a l p a r t o f a m a 0042660 t h e m a t i c a l s y s t e 0042700 m . 226 017 241 017 262 223 240 k 017 365 304 004 @ 303 0042720 \0 a 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0042740 240 240 232 240 n 240 j 017 247 240 227 304 004 \b " \a 0042760 253 017 262 223 301 e F u r t h e r m o r 0043000 e , w e w a n t a l l o 0043020 f t h e d o c u m e n t s 0043040 i n o u r s y s t e m t o 0043060 b e ` ` i n t e r a c t i v 0043100 e ' ' . T h a t T i o g a 0043120 / C a m i n o R e a l 226 017 241 017 262 0043140 223 240 k 017 365 304 006 \0 372 o \0 001 236 212 304 002 0043160 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0043200 240 j 017 247 240 227 304 004 004 1 002 314 017 262 223 301 0043220 b p r o v i d e s a p r o f 0043240 e s s i o n a l - q u a l i t y 0043260 p u b l i s h i n g s y s t 0043300 e m m a y b e g a u g e d 0043320 b y t h e f a c t t h a 0043340 t t h i s d o c u m e n t 0043360 h a s 226 017 241 017 262 223 240 k 017 365 304 004 * 0043400 325 \0 O 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0043420 017 240 240 232 240 n 240 j 017 247 240 227 304 004 006 q 0043440 004 227 017 262 223 301 _ b e e n p r o d 0043460 u c e d w i t h i t . T 0043500 i o g a / C a m i n o R e a l 0043520 d o c u m e n t s a r e i n 0043540 t e r a c t i v e . H e n c 0043560 e w e c a l l C a m i n o 0043600 R e a l a 226 017 241 017 262 223 240 k 017 365 0043620 304 004 & [ \0 P 212 017 247 240 227 301 . s y s 0043640 t e m f o r i n t e r a c t 0043660 i v e m a t h e m a t i c a l 0043700 n o t e b o o k s . 226 240 k 240 j 0043720 017 241 017 245 223 304 006 \0 \0 035 001 B Q 240 244 240 0043740 250 304 004 5 343 \0 = 304 004 035 313 \0 310 212 305 005 0043760 X e r o x 305 \n P r e s s F o n t 0044000 s 305 016 T i m e s R o m a n - M R 0044020 R 017 243 241 033 240 223 304 004 003 # \0 d 240 244 240 0044040 224 017 251 225 017 251 240 227 301 ! S U B M I T 0044060 T E D T O E P 8 8 F O R 0044100 P U B L I C A T I O N 226 017 247 240 227 0044120 017 365 304 004 t 017 \0 ( 212 301 001 4 226 304 006 \0 0044140 214 017 \0 \0 306 304 004 t 017 \0 ( 212 017 251 240 227 0044160 301 0 C A M I N O R E A L : A N 0044200 I N T E R A C T I V E M A T 0044220 H E M A T I C A L N O T E B O 0044240 O K 226 017 365 304 006 \0 203 033 \0 \0 1 212 305 005 0044260 X e r o x 305 \n P r e s s F o n t 0044300 s 305 016 T i m e s R o m a n - B R 0044320 R 017 243 241 033 240 223 304 004 \t i \0 310 240 244 240 0044340 224 017 252 225 017 252 240 227 301 ! 2 . S t 0044360 a n d a r d M a t h e m a t i 0044400 c a l S y s t e m s 226 017 365 304 006 0044420 \0 233 337 \0 \0 = 212 305 005 X e r o x 305 \n 0044440 P r e s s F o n t s 305 016 T i m e 0044460 s R o m a n - B R R 017 243 241 033 240 223 0044500 304 004 003 # \0 P 240 244 240 224 017 253 225 017 253 240 0044520 227 301 020 2 . 1 I n t r o d u c t 0044540 i o n 226 304 004 020 k \0 ( 304 004 D 351 \0 034 0044560 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 0044600 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 004 0044620 216 002 343 017 262 223 301 [ T h e m a t e 0044640 r i a l i n t h i s s e c 0044660 t i o n i s a d a p t e d 0044700 f r o m t h e R e p o r t 0044720 o f t h e W o r k s h o p 0044740 o n E n v i r o n m e n t s 0044760 f o r 226 017 241 017 262 223 240 k 017 365 304 004 b 0045000 U \0 ) 212 017 247 240 227 301 ' C o m p u t 0045020 a t i o n a l M a t h e m a t 0045040 i c s [ A r n o n 1 9 8 7 ] 0045060 . 226 304 004 020 k \0 ( 304 004 U 215 \0 % 212 304 0045100 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 0045120 240 240 232 240 n 240 j 017 247 240 227 304 004 \n 350 005 0045140 331 017 262 223 301 \ W e p o s t u l a 0045160 t e t h a t t h e r e i s 0045200 a n a b s t r a c t s y n 0045220 t a x f o r a n y m a t h 0045240 e m a t i c a l e x p r e s s 0045260 i o n ( c f . [ M c C a r t 0045300 h y 226 017 241 017 262 223 240 k 017 365 304 006 \0 257 0045320 u \0 \0 N 212 304 002 001 \n 304 002 001 \n 240 233 021 0045340 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \t 0045360 324 \b 363 017 262 223 301 h 1 9 6 2 ] ) . 0045400 A p i e c e o f a b s t 0045420 r a c t s y n t a x c o n s 0045440 i s t s o f a n o p e r a 0045460 t o r a n d a l i s t o 0045500 f a r g u m e n t s , w h e 0045520 r e e a c h a r g u m e n t 0045540 226 017 241 017 262 223 240 k 017 365 304 006 001 207 l \0 0045560 \0 263 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0045600 240 240 232 240 n 240 j 017 247 240 227 304 004 031 Q 020 0045620 S 017 262 223 301 g i s ( r e c u r s 0045640 i v e l y ) a p i e c e o 0045660 f a b s t r a c t s y n t a 0045700 x . F u n c t i o n a l n 0045720 o t a t i o n , L i s p s 030 0045740 e x p r e s s i o n s , d i r 0045760 e c t e d a c y c l i c 226 017 241 0046000 017 262 223 240 k 017 365 304 006 001 ~ Q \0 \0 264 212 0046020 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0046040 240 n 240 j 017 247 240 227 304 004 001 { 001 022 017 262 0046060 223 301 \f g r a p h s , a n d 226 0046100 305 005 X e r o x 305 \n P r e s s F o 0046120 n t s 305 016 T i m e s R o m a n - 0046140 M I R 017 243 241 033 240 223 304 004 003 # \0 P 240 0046160 244 240 224 017 254 225 017 254 240 227 301 001 n 226 017 247 0046200 240 227 301 V - a r y t r e e s a 0046220 r e i s o m o r p h i c r e 0046240 p r e s e n t a t i o n s o f 0046260 a b s t r a c t s y n t a x 0046300 . F o r e x a m p l e , 0046320 t h e c o m m o n 226 017 241 017 262 223 0046340 240 k 017 365 304 006 \0 340 255 \0 \0 m 212 304 002 001 0046360 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0046400 j 017 247 240 227 304 004 \t = 004 321 017 262 223 301 030 0046420 m a t h e m a t i c a l e x p 0046440 r e s s i o n 226 240 r 240 j 240 r 240 0046460 j 240 251 017 240 017 240 212 305 005 X e r o x 305 0046500 \a X C 1 - 2 - 2 305 016 C l a s s i 0046520 c - i t a l i c 017 243 241 033 240 223 304 004 0046540 004 K \0 d 017 253 240 246 240 224 017 254 225 017 254 240 0046560 227 301 001 a 226 304 004 023 275 003 3 017 240 212 017 254 0046600 240 227 301 001 b 226 304 004 021 205 \0 343 017 240 212 305 0046620 005 X e r o x 305 \a X C 1 - 2 - 2 305 0046640 016 C l a s s i c - i t a l i c 017 0046660 243 241 033 240 223 017 253 304 004 004 K \0 d 240 246 240 0046700 224 017 255 225 017 255 240 227 301 001 c 226 304 004 030 243 0046720 002 Y 017 240 212 305 005 X e r o x 305 \a X C 0046740 1 - 2 - 2 305 \a C l a s s i c 017 243 0046760 241 033 240 223 304 004 004 K \0 d 017 253 240 246 240 224 0047000 017 256 225 017 256 240 227 301 001 + 226 240 k 240 351 240 0047020 k 240 351 304 004 I V 003 \v 214 301 C c o u 0047040 l d b e r e p r e s e n t e 0047060 d i n a b s t r a c t s y 0047100 n t a x b y t h e f u n c 0047120 t i o n a l n o t a t i o n 226 0047140 017 241 017 262 223 240 k 017 365 304 004 ) 370 \0 025 212 0047160 017 245 240 227 301 022 P l u s [ T i m e s 0047200 [ a , b ] , c ] 226 017 247 240 227 301 023 0047220 o r t h e b i n a r y t r 0047240 e e 226 304 004 D 263 \0 B 304 006 \0 206 # \0 \0 0047260 S 212 240 x 240 j 240 252 304 006 001 W B \0 \0 037 0047300 240 244 240 250 240 r 240 j 017 241 017 245 223 304 006 \0 0047320 \0 021 \0 274 = 240 244 240 250 240 x 240 j 304 004 263 0047340 301 \0 T 304 004 317 S \0 242 240 242 240 250 017 242 017 0047360 257 223 017 242 017 260 223 017 242 017 267 223 017 241 241 250 0047400 020 271 304 006 \0 203 d \0 \0 335 304 004 S \0 W 0047420 304 004 # , \0 e 241 271 017 242 017 257 223 017 242 017 0047440 260 223 017 242 017 267 223 017 241 241 250 020 271 304 006 \0 0047460 203 d \0 \0 335 304 006 \0 321 5 \0 \0 263 304 004 X 0047500 & \0 273 241 271 017 242 017 257 223 017 242 017 260 223 017 0047520 242 017 267 223 017 241 241 250 304 006 \0 267 301 \0 \0 263 0047540 304 004 X & \0 273 020 271 304 004 # , \0 e 241 271 0047560 240 x 240 j 240 x 240 j 017 240 241 250 304 004 024 314 0047600 002 207 240 244 304 006 \0 267 301 \0 \0 263 304 004 X & 0047620 \0 273 240 242 240 245 240 250 017 237 017 240 231 017 241 017 0047640 240 017 237 017 240 241 223 017 241 241 240 241 231 240 k 017 0047660 241 241 250 240 r 240 j 017 240 017 240 212 240 252 304 004 0047700 h 273 \0 k 304 004 M 031 \0 266 304 004 016 236 \0 231 0047720 304 004 016 236 \0 231 241 243 017 241 017 257 223 017 242 017 0047740 260 223 017 242 017 267 223 304 004 j g \0 k 304 004 X 0047760 & \0 273 231 304 004 j g \0 k 304 004 O 361 \0 266 0050000 304 006 \0 267 301 \0 \0 263 304 004 O 361 \0 266 304 004 0050020 003 331 \t J 241 224 304 006 \0 231 203 \0 \0 221 304 004 0050040 O 361 \0 266 304 006 \0 231 203 \0 \0 221 304 004 X & 0050060 \0 273 304 004 003 331 \t J 241 224 304 006 \0 231 203 \0 0050100 \0 221 304 004 v 325 \0 354 304 006 \0 267 301 \0 \0 263 0050120 304 004 v 325 \0 354 304 004 003 331 \t J 241 224 304 004 0050140 j g \0 k 304 004 v 325 \0 354 304 004 j g \0 k 0050160 304 004 X & \0 273 304 004 003 331 \t J 241 224 241 270 0050200 240 k 240 351 240 k 240 x 240 j 240 x 240 j 017 240 0050220 241 250 304 004 024 314 002 207 240 244 304 006 \0 321 5 \0 0050240 \0 263 304 004 X & \0 273 240 242 240 245 240 250 017 237 0050260 017 240 231 017 241 017 240 017 237 017 240 241 223 017 241 241 0050300 240 241 231 240 k 017 241 241 250 240 r 240 j 304 004 & 0050320 211 001 017 017 240 212 240 252 304 004 h 273 \0 k 304 004 0050340 M 031 \0 266 304 004 016 236 \0 231 304 004 016 236 \0 231 0050360 241 243 017 241 017 257 223 017 242 017 260 223 017 242 017 267 0050400 223 304 004 j g \0 k 304 004 X & \0 273 231 304 004 0050420 j g \0 k 304 004 O 361 \0 266 304 006 \0 267 301 \0 0050440 \0 263 304 004 O 361 \0 266 304 004 003 331 \t J 241 224 0050460 304 006 \0 231 203 \0 \0 221 304 004 O 361 \0 266 304 006 0050500 \0 231 203 \0 \0 221 304 004 X & \0 273 304 004 003 331 0050520 \t J 241 224 304 006 \0 231 203 \0 \0 221 304 004 v 325 0050540 \0 354 304 006 \0 267 301 \0 \0 263 304 004 v 325 \0 354 0050560 304 004 003 331 \t J 241 224 304 004 j g \0 k 304 004 0050600 v 325 \0 354 304 004 j g \0 k 304 004 X & \0 273 0050620 304 004 003 331 \t J 241 224 241 270 240 k 240 351 240 k 0050640 240 x 240 j 017 252 240 244 304 006 002 ? q \0 001 360 0050660 020 026 240 242 240 245 240 250 305 005 X e r o x 305 0050700 \a X C 1 - 2 - 2 305 016 C l a s s i 0050720 c - i t a l i c 017 243 241 033 240 223 017 254 0050740 225 017 254 240 227 017 241 241 250 017 240 017 240 212 017 241 0050760 017 262 223 301 001 c 226 240 k 240 x 240 j 240 x 240 0051000 j 017 240 241 250 304 004 024 314 002 207 240 244 020 271 304 0051020 006 \0 203 d \0 \0 335 240 242 240 245 240 250 017 237 017 0051040 240 231 017 241 017 240 017 237 017 240 241 223 017 241 241 240 0051060 241 231 240 k 017 241 241 250 240 r 240 j 304 004 & 211 0051100 002 036 304 004 037 246 001 001 212 240 252 304 004 h 273 \0 0051120 k 304 004 M 031 \0 266 304 004 016 236 \0 231 304 004 016 0051140 236 \0 231 241 243 017 241 017 257 223 017 242 017 260 223 017 0051160 242 017 267 223 304 004 j g \0 k 304 004 X & \0 273 0051200 231 304 004 j g \0 k 304 004 O 361 \0 266 304 006 \0 0051220 267 301 \0 \0 263 304 004 O 361 \0 266 304 004 003 331 \t 0051240 J 241 224 304 006 \0 231 203 \0 \0 221 304 004 O 361 \0 0051260 266 304 006 \0 231 203 \0 \0 221 304 004 X & \0 273 304 0051300 004 003 331 \t J 241 224 304 006 \0 231 203 \0 \0 221 304 0051320 004 v 325 \0 354 304 006 \0 267 301 \0 \0 263 304 004 v 0051340 325 \0 354 304 004 003 331 \t J 241 224 304 004 j g \0 0051360 k 304 004 v 325 \0 354 304 004 j g \0 k 304 004 X 0051400 & \0 273 304 004 003 331 \t J 241 224 241 270 240 k 240 0051420 351 240 k 240 x 240 j 017 252 240 244 020 264 304 006 \0 0051440 265 236 \0 001 7 240 242 240 245 240 250 305 005 X e r 0051460 o x 305 \a X C 1 - 2 - 2 305 \a C l a 0051500 s s i c 017 243 241 033 240 223 017 254 225 017 254 240 0051520 227 017 241 241 250 017 240 017 240 212 017 241 017 262 223 301 0051540 001 + 226 240 k 240 x 240 j 240 x 240 j 017 240 241 0051560 250 304 004 024 314 002 207 240 244 020 271 304 004 # , \0 0051600 e 240 242 240 245 240 250 017 237 017 240 231 017 241 017 240 0051620 017 237 017 240 241 223 017 241 241 240 241 231 240 k 017 241 0051640 241 250 240 r 240 j 304 004 & 211 002 036 304 004 273 307 0051660 002 * 212 240 252 304 004 h 273 \0 k 304 004 M 031 \0 0051700 266 304 004 016 236 \0 231 304 004 016 236 \0 231 241 243 017 0051720 241 017 257 223 017 242 017 260 223 017 242 017 267 223 304 004 0051740 j g \0 k 304 004 X & \0 273 231 304 004 j g \0 0051760 k 304 004 O 361 \0 266 304 006 \0 267 301 \0 \0 263 304 0052000 004 O 361 \0 266 304 004 003 331 \t J 241 224 304 006 \0 0052020 231 203 \0 \0 221 304 004 O 361 \0 266 304 006 \0 231 203 0052040 \0 \0 221 304 004 X & \0 273 304 004 003 331 \t J 241 0052060 224 304 006 \0 231 203 \0 \0 221 304 004 v 325 \0 354 304 0052100 006 \0 267 301 \0 \0 263 304 004 v 325 \0 354 304 004 003 0052120 331 \t J 241 224 304 004 j g \0 k 304 004 v 325 \0 0052140 354 304 004 j g \0 k 304 004 X & \0 273 304 004 003 0052160 331 \t J 241 224 241 270 240 k 240 351 240 k 240 x 240 0052200 j 017 252 240 244 304 006 \0 302 206 \0 \0 263 304 004 5 0052220 _ \0 236 240 242 240 245 240 250 305 005 X e r o x 0052240 305 \a X C 1 - 2 - 2 305 016 C l a s s 0052260 i c - i t a l i c 017 243 241 033 240 223 017 0052300 254 225 017 254 240 227 017 241 241 250 017 240 017 240 212 017 0052320 241 017 262 223 301 001 b 226 240 k 240 x 240 j 240 x 0052340 240 j 017 240 241 250 304 004 024 314 002 207 240 244 304 004 0052360 S \0 W 304 004 # , \0 e 240 242 240 245 240 250 0052400 017 237 017 240 231 017 241 017 240 017 237 017 240 241 223 017 0052420 241 241 240 241 231 240 k 017 241 241 250 240 r 240 j 304 0052440 004 346 1 001 k 304 004 363 317 \0 c 212 240 252 304 004 0052460 h 273 \0 k 304 004 M 031 \0 266 304 004 016 236 \0 231 0052500 304 004 016 236 \0 231 241 243 017 241 017 257 223 017 242 017 0052520 260 223 017 242 017 267 223 304 004 j g \0 k 304 004 X 0052540 & \0 273 231 304 004 j g \0 k 304 004 O 361 \0 266 0052560 304 006 \0 267 301 \0 \0 263 304 004 O 361 \0 266 304 004 0052600 003 331 \t J 241 224 304 006 \0 231 203 \0 \0 221 304 004 0052620 O 361 \0 266 304 006 \0 231 203 \0 \0 221 304 004 X & 0052640 \0 273 304 004 003 331 \t J 241 224 304 006 \0 231 203 \0 0052660 \0 221 304 004 v 325 \0 354 304 006 \0 267 301 \0 \0 263 0052700 304 004 v 325 \0 354 304 004 003 331 \t J 241 224 304 004 0052720 j g \0 k 304 004 v 325 \0 354 304 004 j g \0 k 0052740 304 004 X & \0 273 304 004 003 331 \t J 241 224 241 270 0052760 240 k 240 351 240 k 240 x 240 j 017 252 240 244 304 006 0053000 \0 251 022 \0 \0 263 304 004 5 _ \0 236 240 242 240 245 0053020 240 250 305 005 X e r o x 305 \a X C 1 - 2 0053040 - 2 305 016 C l a s s i c - i t a l 0053060 i c 017 243 241 033 240 223 017 254 225 017 254 240 227 017 0053100 241 241 250 017 240 017 240 212 017 241 017 262 223 301 001 a 0053120 226 240 k 240 x 240 j 017 252 240 244 304 006 \0 264 B 0053140 \0 \0 263 304 006 \0 274 005 \0 001 230 240 242 240 245 240 0053160 250 305 005 X e r o x 305 \a X C 1 - 2 - 0053200 2 305 \a C l a s s i c 017 243 241 033 240 223 0053220 017 254 225 017 254 240 227 017 241 241 250 017 240 017 240 212 0053240 017 241 017 262 223 301 001 264 226 240 k 240 k 240 k 240 0053260 351 240 k 304 004 020 k \0 ( 304 004 . ] \0 036 212 0053300 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 0053320 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \b \v 0053340 003 234 017 262 223 301 W A ` ` S t a n d 0053360 a r d M a t h e m a t i c a l 0053400 C o m p o n e n t ' ' ( a b 0053420 b r e v i a t e d S M C ) i 0053440 s a c o l l e c t i o n o 0053460 f s o f t w a r e a n d 226 017 0053500 241 017 262 223 240 k 017 365 304 004 y 225 \0 R 212 304 0053520 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0053540 n 240 j 017 247 240 227 304 004 \a e 006 / 017 262 223 0053560 301 e h a r d w a r e m o d u l 0053600 e s , e a c h w i t h a 0053620 s i n g l e f u n c t i o n , 0053640 w h i c h i f i t r e a 0053660 d s m a t h e m a t i c a l 0053700 e x p r e s s i o n s , r e a 0053720 d s t h e m 226 017 241 017 262 223 240 k 017 0053740 365 304 004 k 353 \0 L 212 304 002 001 \n 304 002 001 \n 0053760 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 0054000 304 004 016 215 \n 225 017 262 223 301 g a s a b 0054020 s t r a c t s y n t a x , a 0054040 n d w h i c h i f i t w 0054060 r i t e s m a t h e m a t i c 0054100 a l e x p r e s s i o n s , 0054120 w r i t e s t h e m a s a 0054140 b s t r a c t s y n t a x . 0054160 A 226 017 241 017 262 223 240 k 017 365 304 004 V 335 0054200 \0 @ 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0054220 240 240 232 240 n 240 j 017 247 240 227 304 004 002 264 002 0054240 Y 017 262 223 301 d ` ` S t a n d a r d 0054260 M a t h e m a t i c a l S y 0054300 s t e m ' ' ( a b b r e v i a 0054320 t e d S M S ) i s a c o 0054340 l l e c t i o n o f S M C ' 0054360 s , w h i c h a r e u s e 0054400 d t o g e t h e r 226 017 241 017 262 223 0054420 240 k 017 365 304 004 s 6 \0 Y 212 304 002 001 \n 304 0054440 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0054460 247 240 227 304 004 006 005 004 320 017 262 223 301 f a n 0054500 d w h i c h c o m m u n i c 0054520 a t e w i t h e a c h o t 0054540 h e r i n a b s t r a c t 0054560 s y n t a x o v e r a ` ` 0054600 w i r e ' ' j o i n i n g t 0054620 h e m . C l e a r l y , t 0054640 h e r e 226 017 241 017 262 223 240 k 017 365 304 006 0054660 016 R 373 \0 \v 241 212 304 002 001 \n 304 002 001 \n 240 0054700 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0054720 004 004 202 004 i 017 262 223 301 f a r e m a 0054740 n y p o s s i b l e ( i s o 0054760 m o r p h i c ) a b s t r a c 0055000 t s y n t a x r e p r e s e 0055020 n t a t i o n s f o r a g 0055040 i v e n m a t h e m a t i c a 0055060 l e x p r e s s i o n ; w e 0055100 226 017 241 017 262 223 240 k 017 365 304 006 \0 325 357 \0 0055120 \0 267 212 017 247 240 227 301 b d o n o t 0055140 a s s u m e t h a t t h e 0055160 v a r i o u s S M C ' s w i 0055200 t h i n a s i n g l e S M 0055220 S a l l u s e t h e s a 0055240 m e f o r m o f a b s t r 0055260 a c t s y n t a x . 226 304 004 020 k 0055300 \0 ( 304 004 w 271 \0 m 212 304 002 001 \n 304 002 001 0055320 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 240 n 240 0055340 j 017 247 240 227 304 004 \r 231 \t i 017 262 223 301 ] 0055360 W e i d e n t i f y f i v e 0055400 p o s s i b l e t y p e s 0055420 o f c o m p o n e n t s i n 0055440 a n S M S , w h i c h w 0055460 e d e f i n e i n s e c t 0055500 i o n 2 . 2 . A n y 226 017 241 0055520 017 262 223 240 k 017 365 304 004 S 343 \0 Q 212 017 247 0055540 240 227 301 O p a r t i c u l a r S 0055560 M S m a y h a v e z e r o 0055600 , o n e , o r s e v e r a 0055620 l i n s t a n c e s o f e 0055640 a c h c o m p o n e n t t y 0055660 p e . 226 017 365 304 006 \0 254 375 \0 \0 275 212 017 0055700 253 240 227 301 $ 2 . 2 S t a n d a r 0055720 d M a t h e m a t i c a l C 0055740 o m p o n e n t s 226 017 365 304 004 W 223 0055760 \0 k 212 305 005 X e r o x 305 \n P r e s 0056000 s F o n t s 305 016 T i m e s R o m 0056020 a n - M I R 017 243 241 033 240 223 304 004 003 # 0056040 \0 P 240 244 240 224 017 254 225 017 254 240 227 301 027 2 0056060 . 2 . 1 E D - M a t h E 0056100 d i t o r s 226 304 004 020 k \0 ( 304 004 A 0056120 / \0 Z 212 304 002 001 \n 304 002 001 \n 240 233 304 004 0056140 A 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 0056160 304 002 % 035 017 262 223 301 _ A n E D c 0056200 o m p o n e n t e d i t s a 0056220 b s t r a c t s y n t a x t 0056240 o a b s t r a c t s y n t a 0056260 x . A p a r t i c u l a r 0056300 s y s t e m m a y h a v e 0056320 e d i t o r s 226 017 241 017 262 223 240 k 0056340 017 365 304 004 V 251 \0 203 212 304 002 001 \n 304 002 001 0056360 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0056400 227 304 004 006 307 002 361 017 262 223 301 \ t h a t 0056420 o p e r a t e o n s o m e 0056440 o t h e r r e p r e s e n t 0056460 a t i o n o f m a t h e m a 0056500 t i c a l e x p r e s s i o n 0056520 s , s u c h a s a b i t 0056540 m a p o r a 226 017 241 017 262 223 240 k 0056560 017 365 304 004 / N \0 O 212 017 247 240 227 301 F f 0056600 o r m a t t i n g l a n g u a 0056620 g e , h o w e v e r s u c h 0056640 a n e d i t o r d o e s 0056660 n o t q u a l i f y a s a 0056700 n E D . 226 017 365 304 004 k 354 \0 327 212 017 0056720 254 240 227 301 034 2 . 2 . 2 D I S P 0056740 - M a t h D i s p l a y e r 0056760 s 226 304 004 020 k \0 ( 304 004 9 177 \0 215 212 304 0057000 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 0057020 240 240 232 240 n 240 j 017 247 240 227 304 004 004 371 003 0057040 325 017 262 223 301 _ D I S P c o m p o 0057060 n e n t s a r e s u i t e s 0057100 o f s o f t w a r e p a c 0057120 k a g e s , d e v i c e d r 0057140 i v e r s , a n d h a r d w 0057160 a r e d e v i c e s t h a t 0057200 t a k e 226 017 241 017 262 223 240 k 017 365 304 0057220 004 # 212 \0 g 212 304 002 001 \n 304 002 001 \n 240 233 0057240 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0057260 022 q \r 2 017 262 223 301 c i n a n e 0057300 x p r e s s i o n i n a b s 0057320 t r a c t s y n t a x a n d 0057340 r e n d e r i t . T w o 0057360 e x a m p l e s m i g h t 0057400 b e ( 1 ) t h e c o m b i 0057420 n a t i o n o f a n 226 017 241 017 0057440 262 223 240 k 017 365 304 004 & 255 \0 211 212 304 002 001 0057460 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0057500 j 017 247 240 227 304 004 001 003 \0 m 017 262 223 301 024 0057520 a b s t r a c t s y n t a x 0057540 t o T 226 304 004 374 335 001 220 215 301 001 E 226 0057560 304 004 003 # 001 220 215 301 024 X t r a n s 0057600 l a t o r , p l u s T 226 304 004 0057620 374 335 001 220 215 301 001 E 226 304 004 003 # 001 220 215 0057640 301 3 X i t s e l f , p l u s 0057660 a p r i n t e r ( s e e 0057700 [ K n u t h 1 9 8 4 ] f o r 0057720 m o r e 226 017 241 017 262 223 240 k 240 k 240 0057740 j 017 241 017 245 223 304 006 \0 \0 035 001 B Q 240 244 0057760 240 250 304 004 5 343 \0 = 304 004 035 313 \0 310 212 305 0060000 005 X e r o x 305 \n P r e s s F o n 0060020 t s 305 016 T i m e s R o m a n - M 0060040 R R 017 243 241 033 240 223 304 004 003 # \0 d 240 244 0060060 240 224 017 251 225 017 251 240 227 301 ! S U B M I 0060100 T T E D T O E P 8 8 F O R 0060120 P U B L I C A T I O N 226 304 006 002 0060140 4 C \0 003 3 304 004 t 017 \0 ( 212 017 251 240 227 0060160 301 0 C A M I N O R E A L : A N 0060200 I N T E R A C T I V E M A T 0060220 H E M A T I C A L N O T E B O 0060240 O K 226 017 247 240 227 304 006 006 216 312 \0 003 3 304 0060260 004 t 017 \0 ( 212 301 001 5 226 017 365 304 006 \0 203 0060300 033 \0 \0 1 212 304 002 001 \n 304 002 001 \n 240 233 021 0060320 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \0 0060340 300 \0 263 017 262 223 301 020 i n f o r m a t 0060360 i o n o n T 226 304 004 374 335 001 220 215 0060400 301 001 E 226 304 004 003 # 001 220 215 301 R X ) , 0060420 o r ( 2 ) a p l o t t i 0060440 n g p a c k a g e p l u s 0060460 a p l o t t i n g d e v i c 0060500 e . A D I S P c o m p o 0060520 n e n t m a y o r m a y 226 0060540 017 241 017 262 223 240 k 017 365 304 006 \0 350 214 \0 \0 0060560 Y 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0060600 240 232 240 n 240 j 017 247 240 227 304 004 024 u \r \n 0060620 017 262 223 301 e n o t s u p p o r t 0060640 ` ` p o i n t i n g ' ' ( s 0060660 e l e c t i o n ) w i t h i n 0060700 a n e x p r e s s i o n i 0060720 t h a s d i s p l a y e d . 0060740 F o r e x a m p l e , a 0060760 D I S P t h a t 226 017 241 017 262 223 0061000 240 k 017 365 304 004 O 016 \0 037 212 304 002 001 \n 304 0061020 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0061040 247 240 227 304 004 \f 231 006 337 017 262 223 301 a r e 0061060 n d e r s o n t o a p r i 0061100 n t e r p r o b a b l y d o 0061120 e s n ' t , b u t a D I S 0061140 P d r i v i n g a d i s p 0061160 l a y s c r e e n m a y . 0061200 I f p o i n t i n g i s 226 0061220 017 241 017 262 223 240 k 017 365 304 006 \0 325 353 \0 \0 0061240 V 212 017 247 240 227 301 d s u p p o r t e 0061260 d , t h e n t h e D I S P 0061300 m u s t b e a b l e t o 0061320 p a s s b a c k t h e s 0061340 e l e c t e d s u b e x p r e 0061360 s s i o n ( s ) i n a b s t 0061400 r a c t s y n t a x . 226 017 365 304 0061420 006 001 215 255 \0 \0 247 212 305 005 X e r o x 305 0061440 \n P r e s s F o n t s 305 016 T i m 0061460 e s R o m a n - M I R 017 243 241 033 240 0061500 223 304 004 003 # \0 P 240 244 240 224 017 252 225 017 252 0061520 240 227 301 2 . 2 . 3 C O M P - 0061540 C o m p u t a t i o n S y s 0061560 t e m s 226 304 004 020 k \0 ( 304 006 004 D / 0061600 \0 001 337 212 304 002 001 \n 304 002 001 \n 240 233 304 004 0061620 A 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 0061640 304 004 \a 177 006 G 017 262 223 301 ^ A C O M 0061660 P t a k e s i n a n e x 0061700 p r e s s i o n i n a b s t 0061720 r a c t s y n t a x , p e r 0061740 f o r m s s o m e c o m p u 0061760 t a t i o n o n i t , a n 0062000 d r e t u r n s 226 017 241 017 262 223 240 0062020 k 017 365 304 004 9 247 \0 032 212 304 002 001 \n 304 002 0062040 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0062060 240 227 304 004 004 A 002 347 017 262 223 301 ` t h e 0062100 r e s u l t i n a b s t r 0062120 a c t s y n t a x . E x a 0062140 m p l e s o f C O M P c o 0062160 m p o n e n t s a r e n u m 0062200 e r i c a l l i b r a r i e s 0062220 a n d c o m p u t e r 226 017 241 0062240 017 262 223 240 k 017 365 304 004 D 363 \0 212 304 002 0062260 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0062300 240 j 017 247 240 227 304 004 002 303 002 t 017 262 223 301 0062320 g a l g e b r a s y s t e m s 0062340 . W h e n u s i n g a 0062360 C O M P a s p a r t o f 0062400 a n S M S , q u e s t i o n 0062420 s n a t u r a l l y a r i s 0062440 e a s t o i t s s t a t 0062460 e a t t h e 226 017 241 017 262 223 240 k 0062500 017 365 304 006 \0 270 027 \0 \0 X 212 304 002 001 \n 304 0062520 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0062540 247 240 227 304 004 006 205 003 002 017 262 223 301 _ t i 0062560 m e i t r e c e i v e s a 0062600 n i n p u t e x p r e s s i 0062620 o n . F o r e x a m p l e 0062640 , w h a t g l o b a l f l 0062660 a g s a r e s e t , o r 0062700 w h a t p r e v i o u s 226 017 241 0062720 017 262 223 240 k 017 365 304 006 001 8 177 \0 \0 232 212 0062740 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0062760 240 n 240 j 017 247 240 227 304 004 006 _ 004 323 017 262 0063000 223 301 a e x p r e s s i o n s h 0063020 a v e b e e n c o m p u t e 0063040 d t h a t t h e c u r r e 0063060 n t e x p r e s s i o n m a 0063100 y r e f e r t o ? W e 0063120 h a v e n o g o o d g e n 0063140 e r a l 226 017 241 017 262 223 240 k 017 365 304 006 0063160 001 4 274 \0 \0 235 212 304 002 001 \n 304 002 001 \n 240 0063200 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0063220 004 L 352 @ q 017 262 223 301 f a n s w e r 0063240 s t o t h e s e i s s u e 0063260 s a t t h i s t i m e , 0063300 h o w e v e r w e d e s c r 0063320 i b e C a m i n o R e a l ' s 0063340 c u r r e n t b e h a v i o 0063360 r i n s e c t i o n 4 . 2 0063400 226 017 241 017 262 223 240 k 017 365 304 004 [ a \0 0 0063420 212 017 247 240 227 301 / a n d s o m e 0063440 p o s s i b l e m o d i f i c 0063460 a t i o n s i n s e c t i o 0063500 n 4 . 3 . 226 017 365 304 004 M L \0 + 212 0063520 017 252 240 227 301 034 2 . 2 . 4 D O C 0063540 - D o c u m e n t S y s t e 0063560 m s 226 304 004 020 k \0 ( 304 006 \0 214 316 \0 \0 0063600 S 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 0063620 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0063640 \n 321 \t C 017 262 223 301 ^ T h e s i m 0063660 p l e s t e x a m p l e o f 0063700 a D O C i s a t e x t 0063720 e d i t o r f o r d o c u 0063740 m e n t s i n w h i c h m 0063760 a t h e m a t i c a l e x p r 0064000 e s s i o n s 226 017 241 017 262 223 240 k 017 0064020 365 304 004 N k \0 0 212 304 002 001 \n 304 002 001 \n 0064040 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 0064060 304 004 003 \t 001 303 017 262 223 301 ` a r e s 0064100 t o r e d i n a b s t r a c 0064120 t s y n t a x . H o w e v 0064140 e r a D O C n e e d h a 0064160 v e n o r e l a t i o n t 0064200 o p r i n t i n g , s o f 0064220 o r e x a m p l e , 226 017 241 017 262 0064240 223 240 k 017 365 304 004 f 035 \0 A 212 304 002 001 \n 0064260 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0064300 017 247 240 227 304 004 004 X 003 - 017 262 223 301 d d 0064320 a t a b a s e , h y p e r t e 0064340 x t , a n d e l e c t r o n 0064360 i c m a i l s y s t e m s 0064400 c o u l d a l l q u a l i f 0064420 y a s D O C c o m p o n e 0064440 n t s . A c t u a l l y , 0064460 f o r 226 017 241 017 262 223 240 k 017 365 304 004 R 0064500 364 \0 7 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0064520 017 240 240 232 240 n 240 j 017 247 240 227 304 004 004 221 0064540 003 326 017 262 223 301 e o u r p u r p o 0064560 s e s , a D O C i s s i 0064600 m p l y a s y s t e m t h 0064620 a t m a n i p u l a t e s c 0064640 e r t a i n d a t a s t r u 0064660 c t u r e s ( w h i c h w e 0064700 t h i n k o f a s 226 017 241 017 0064720 262 223 240 k 017 365 304 004 X - \0 = 212 304 002 001 0064740 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0064760 j 017 247 240 227 304 004 005 356 002 271 017 262 223 301 ] 0065000 " d o c u m e n t s " o r " 0065020 d a t a b a s e s " ) i n w 0065040 h i c h w e c a n ` ` p a 0065060 r k ' ' m u l t i p l e m a 0065100 t h e x p r e s s i o n s r 0065120 e p r e s e n t e d i n 226 017 241 0065140 017 262 223 240 k 017 365 304 004 177 7 \0 \ 212 017 247 0065160 240 227 301 020 a b s t r a c t s y n 0065200 t a x . 226 304 004 020 k \0 ( 304 004 q 214 \0 0065220 W 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 0065240 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0065260 016 u \f 342 017 262 223 301 R N o t e t h 0065300 a t i f m a t h i s e d 0065320 i t a b l e i n p l a c e 0065340 i n a d o c u m e n t , t 0065360 h i s i s n o t p a r t 0065400 o f t h e D O C 226 017 252 240 227 0065420 301 006 p e r s e 226 017 247 240 227 301 \r , 0065440 b u t p a r t o f 226 017 241 017 0065460 262 223 240 k 017 365 304 004 Z 262 \0 I 212 304 002 001 0065500 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0065520 j 017 247 240 227 304 004 \n R \b 327 017 262 223 301 _ 0065540 s o m e E D a n d p e r h 0065560 a p s s o m e D I S P . 0065600 T h e i n t e r a c t i o n s 0065620 b e t w e e n t h e v a r 0065640 i o u s c o m p o n e n t s 0065660 w h e n a n e d i t i n g 226 0065700 017 241 017 262 223 240 k 017 365 304 006 \0 347 7 \0 \0 0065720 304 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0065740 240 232 240 n 240 j 017 247 240 227 304 004 \r 022 \t 025 0065760 017 262 223 301 c o p e r a t i o n t 0066000 a k e s p l a c e a r e : 0066020 ( 1 ) t h e D I S P a n d 0066040 t h e E D p r o c e s s 0066060 t h e u s e r ' s i n p u t 0066100 a n d m o d i f y t h e 0066120 a b s t r a c t 226 017 241 017 262 223 240 k 0066140 017 365 304 006 \0 274 303 \0 \0 251 212 304 002 001 \n 304 0066160 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0066200 247 240 227 304 004 006 L 004 223 017 262 223 301 h s y 0066220 n t a x r e p r e s e n t a t 0066240 i o n o f t h e e x p r e 0066260 s s i o n , ( 2 ) t h e D 0066300 I S P ( i f o n e i s i 0066320 n v o l v e d h e r e , t h 0066340 a t i s , i f w e a r e 0066360 d o i n g 226 017 241 017 262 223 240 k 017 365 0066400 304 004 \b o \0 \b 212 304 002 001 \n 304 002 001 \n 240 0066420 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0066440 004 \b 370 \b _ 017 262 223 301 h m o r e t 0066460 h a n j u s t s h o w i n g 0066500 t h e t e x t o f t h e 0066520 a b s t r a c t s y n t a x 0066540 ) q u e r i e s t h e D O 0066560 C t o b e g i v e n a n 0066600 a r e a ( t y p i c a l l y 0066620 a 226 017 241 017 262 223 240 k 017 365 304 006 001 f 0066640 351 \0 001 j 212 304 002 001 \n 304 002 001 \n 240 233 021 0066660 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \a 0066700 ; 005 \v 017 262 223 301 d b o x ) i n 0066720 w h i c h t o d i s p l a y 0066740 t h e n e w e x p r e s s 0066760 i o n , a n d ( 3 ) t h e 0067000 D I S P p a i n t s t h e 0067020 e x p r e s s i o n i n t 0067040 h e s p e c i f i e d 226 017 241 017 0067060 262 223 240 k 017 365 304 004 ^ 273 \0 f 212 017 247 240 0067100 227 301 004 b o x . 226 017 365 304 004 c 211 \0 y 0067120 212 017 252 240 227 301 033 2 . 2 . 5 M A N 0067140 - S y s t e m M a n a g e 0067160 r s 226 304 004 020 k \0 ( 304 004 H % \0 d 212 0067200 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 0067220 017 240 240 232 240 n 240 j 017 247 240 227 304 004 004 276 0067240 002 225 017 262 223 301 S I t i s t h e 0067260 f u n c t i o n o f a M 0067300 A N t o c o o r d i n a t e 0067320 a n d c o n n e c t u p 0067340 t h e E D , D I S P , C O 0067360 M P a n d D O C 226 017 241 017 262 223 0067400 240 k 017 365 304 004 A 337 \0 d 212 304 002 001 \n 304 0067420 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0067440 247 240 227 304 004 002 + 002 \0 017 262 223 301 ^ c o 0067460 m p o n e n t s t h a t c o 0067500 m p r i s e a n S M S . 0067520 T y p i c a l l y a n S M S 0067540 h a s o n e M A N c o m 0067560 p o n e n t , a l t h o u g h 0067600 i t m i g h t b e 226 017 241 017 0067620 262 223 240 k 017 365 304 004 ; 231 \0 d 212 304 002 001 0067640 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0067660 j 017 247 240 227 304 004 003 276 002 363 017 262 223 301 f 0067700 a b l e t o s w i t c h b 0067720 e t w e e n s e v e r a l . 0067740 S M S ' s m a y v a r y 0067760 g r e a t l y i n t h e f 0070000 a c e t h e y p r e s e n t 0070020 t o t h e u s e r , a n 0070040 d s u c h 226 017 241 017 262 223 240 k 017 365 0070060 304 004 5 S \0 d 212 304 002 001 \n 304 002 001 \n 240 0070100 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0070120 004 \t 273 \b # 017 262 223 301 g d i f f e r 0070140 e n c e s m a y w e l l a 0070160 r i s e f r o m d i f f e r 0070200 i n g a m o u n t s o f ` 0070220 ` k n o w l e d g e ' ' o r 0070240 s o p h i s t i c a t i o n p 0070260 o s s e s s e d b y t h e i 0070300 r 226 017 241 017 262 223 240 k 017 365 304 004 \t i \0 0070320 024 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0070340 240 232 240 n 240 j 017 247 240 227 304 004 002 345 002 022 0070360 017 262 223 301 Z M A N c o m p o n e 0070400 n t s . M A N c o m p o n 0070420 e n t s d o w h a t e v e r 0070440 i s n e c e s s a r y t o 0070460 m a k e t h e o t h e r 0070500 c o m p o n e n t s p l a y 226 0070520 017 241 017 262 223 240 k 017 365 304 004 ( 307 \0 d 212 0070540 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0070560 240 n 240 j 017 247 240 227 304 004 023 246 \v _ 017 262 0070600 223 301 b t o g e t h e r , a n d 0070620 p e r h a p s m o r e b e 0070640 s i d e s t o m a k e l i 0070660 f e e a s i e r f o r t h 0070700 e u s e r . F o r e x a 0070720 m p l e , a b s t r a c t s 0070740 y n t a x 226 017 241 017 262 223 240 k 017 365 304 0070760 004 " 201 \0 d 212 304 002 001 \n 304 002 001 \n 240 233 0071000 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0071020 004 A 004 \t 017 262 223 301 c p r o v i d e 0071040 s a s y n t a x f o r a 0071060 c o m m u n i c a t i o n l 0071100 a n g u a g e a m o n g S M 0071120 C ' s , b u t l e a v e s 0071140 u n s p e c i f i e d t h e 0071160 s e m a n t i c s o f 226 017 241 017 0071200 262 223 240 k 017 365 304 004 034 ; \0 d 212 304 002 001 0071220 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0071240 j 017 247 240 227 304 004 005 % 004 250 017 262 223 301 j 0071260 s e n t e n c e s i n t h i 0071300 s l a n g u a g e . T h u 0071320 s , i f t h e f u n c t i 0071340 o n ( i . e . o p e r a t o 0071360 r ) n a m e s o f t h e 0071400 a b s t r a c t s y n t a x 0071420 u s e d b y a n 226 017 241 017 262 223 0071440 240 k 240 k 240 j 017 241 017 245 223 304 006 \0 \0 035 0071460 001 B Q 240 244 240 250 304 004 5 343 \0 = 304 004 035 0071500 313 \0 310 212 305 005 X e r o x 305 \n P r e 0071520 s s F o n t s 305 016 T i m e s R o 0071540 m a n - M R R 017 243 241 033 240 223 304 004 003 0071560 # \0 d 240 244 240 224 017 251 225 017 251 240 227 301 ! 0071600 S U B M I T T E D T O E P 8 0071620 8 F O R P U B L I C A T I O 0071640 N 226 017 247 240 227 017 365 304 004 t 017 \0 ( 212 301 0071660 001 6 226 304 004 O 344 \0 q 304 004 t 017 \0 ( 212 0071700 017 251 240 227 301 0 C A M I N O R E A L 0071720 : A N I N T E R A C T I V E 0071740 M A T H E M A T I C A L N O 0071760 T E B O O K 226 017 365 304 006 \0 203 033 \0 \0 0072000 1 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0072020 240 232 240 n 240 j 017 247 240 227 304 004 020 ! \f 263 0072040 017 262 223 301 _ E D c o m p o n e n 0072060 t d i f f e r f r o m t h 0072100 o s e u s e d b y a C O 0072120 M P , t h e M A N p r o v 0072140 i d e s t h e t r a n s l a 0072160 t i o n . T h e u s e r 0072200 o f a 226 017 241 017 262 223 240 k 017 365 304 006 0072220 \0 350 214 \0 \0 Y 212 304 002 001 \n 304 002 001 \n 240 0072240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0072260 004 \a ' 003 E 017 262 223 301 [ S M S n e 0072300 e d n o t , a n d i s e 0072320 n c o u r a g e d n o t t o 0072340 , u n d e r s t a n d t h e 0072360 n a m i n g c o n v e n t i 0072400 o n s o f t h e p a r t i 0072420 c u l a r 226 017 241 017 262 223 240 k 017 365 304 0072440 004 O 016 \0 037 212 304 002 001 \n 304 002 001 \n 240 233 0072460 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0072500 005 366 003 241 017 262 223 301 ^ c o m p o n e 0072520 n t s i t c o n t a i n s . 0072540 A s a n o t h e r e x a 0072560 m p l e , a M A N m a y 0072600 h a v e s o m e ` ` k n o w 0072620 l e d g e ' ' o f t h e r 0072640 e l a t i v e 226 017 241 017 262 223 240 k 017 0072660 365 304 006 \0 325 353 \0 \0 V 212 304 002 001 \n 304 002 0072700 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0072720 240 227 304 004 \b 312 002 365 017 262 223 301 W m e r 0072740 i t s o f s e v e r a l C 0072760 O M P c o m p o n e n t s f 0073000 o r d i f f e r e n t t a s 0073020 k s , a n d p r o v i d e 0073040 a u t o m a t i c r o u t i n 0073060 g o f 226 017 241 017 262 223 240 k 017 365 304 004 0073100 M 227 \0 212 017 247 240 227 301 3 c o m p u 0073120 t a t i o n a l r e q u e s t 0073140 s t o t h e m o s t a p 0073160 p r o p r i a t e o n e . 226 017 0073200 365 304 006 \0 307 366 \0 \0 W 212 305 005 X e r o 0073220 x 305 \n P r e s s F o n t s 305 016 T 0073240 i m e s R o m a n - B R R 017 243 241 0073260 033 240 223 304 004 003 # \0 P 240 244 240 224 017 252 225 0073300 017 252 240 227 301 - 2 . 3 F u r t h e 0073320 r n o t e s o n t h e o 0073340 v e r a l l a r c h i t e c t 0073360 u r e 226 304 004 020 k \0 ( 304 006 \0 234 / \0 0073400 \0 G 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 0073420 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 0073440 004 \n 353 \n 004 017 262 223 301 \ A t y p i 0073460 c a l S M S w i l l h a v 0073500 e a " W Y S I W Y G e x p 0073520 r e s s i o n e d i t o r " 0073540 t h a t c o n s i s t s o f 0073560 a n E D a n d a D I S 0073600 P t h a t 226 017 241 017 262 223 240 k 017 365 0073620 304 004 O 022 \0 % 212 304 002 001 \n 304 002 001 \n 240 0073640 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0073660 004 001 231 001 025 017 262 223 301 c a r e m u 0073700 c h m o r e c l o s e l y 0073720 c o u p l e d t h a n i s 0073740 s u g g e s t e d h e r e . 0073760 F o r e x a m p l e , t h 0074000 e i n t e r n a l r e p r e 0074020 s e n t a t i o n s o f 226 017 241 0074040 017 262 223 240 k 017 365 304 004 c 221 \0 0 212 304 002 0074060 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0074100 240 j 017 247 240 227 304 004 005 261 004 216 017 262 223 301 0074120 e a b s t r a c t s y n t a x 0074140 i n a n E D a n d a 0074160 D I S P ( s u c h a s a 0074200 t r e e o f b o x e s ) , 0074220 m i g h t h a v e p o i n t 0074240 e r s b a c k a n d f o r 0074260 t h , o r 226 017 241 017 262 223 240 k 017 365 0074300 304 004 f 227 \0 3 212 304 002 001 \n 304 002 001 \n 240 0074320 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0074340 004 005 ) 004 3 017 262 223 301 e t h e t w 0074360 o m a y e v e n s h a r e 0074400 a c o m m o n d a t a s 0074420 t r u c t u r e . T h i s 0074440 i s a c c e p t a b l e , b 0074460 u t i t s h o u l d a l w 0074500 a y s b e p o s s i b l e 226 0074520 017 241 017 262 223 240 k 017 365 304 006 \0 330 R \0 \0 0074540 o 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0074560 240 232 240 n 240 j 017 247 240 227 304 004 003 346 003 305 0074600 017 262 223 301 c t o a c c e s s t 0074620 h e t w o c o m p o n e n t 0074640 s i n t h e c a n o n i c 0074660 a l d e c o u p l e d w a y 0074700 . T h i s w o u l d m e 0074720 a n t h a t t h e E D s 0074740 h o u l d b e 226 017 241 017 262 223 240 k 0074760 017 365 304 004 R 375 \0 , 212 304 002 001 \n 304 002 001 0075000 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0075020 227 304 004 \v 0 \t 205 017 262 223 301 f a b l e 0075040 t o r e c e i v e a s t 0075060 a n d a r d a b s t r a c t 0075100 s y n t a x r e p r e s e n t 0075120 a t i o n f o r a n e x p 0075140 r e s s i o n p l u s a n 0075160 e d i t i n g c o m m a n d 0075200 i n 226 017 241 017 262 223 240 k 017 365 304 006 \0 205 0075220 033 \0 \0 I 212 304 002 001 \n 304 002 001 \n 240 233 021 0075240 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 033 0075260 B 020 031 017 262 223 301 036 a b s t r a c t 0075300 s y n t a x , f o r e x a 0075320 m p l e , 226 017 245 240 227 301 017 E d i 0075340 t [ e x p r , c m d ] 226 017 247 240 0075360 227 301 6 , a n d r e t u r n 0075400 a n a b s t r a c t s y n t 0075420 a x r e p r e s e n t a t i o 0075440 n f o r t h e 226 017 241 017 262 223 240 0075460 k 017 365 304 004 K 265 \0 + 212 304 002 001 \n 304 002 0075500 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0075520 240 227 304 004 005 035 004 j 017 262 223 301 j r e s 0075540 u l t . S i m i l a r l y 0075560 t h e D I S P s h o u l d 0075600 b e a b l e t o r e c e i 0075620 v e a b s t r a c t s y n t 0075640 a x o v e r t h e w i r e 0075660 a n d d i s p l a y i t , 0075700 a n d i f 226 017 241 017 262 223 240 k 017 0075720 365 304 004 d - \0 ; 212 017 247 240 227 301 S i t 0075740 s u p p o r t s p o i n t i 0075760 n g , b e a b l e t o r 0076000 e t u r n s e l e c t e d s 0076020 u b e x p r e s s i o n s i n 0076040 a b s t r a c t s y n t a x 0076060 . 226 304 004 020 k \0 ( 304 006 001 030 276 \0 \0 255 0076100 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 0076120 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 002 0076140 U 002 6 017 262 223 301 ] T h e b o u n 0076160 d a r i e s b e t w e e n t 0076200 h e c o m p o n e n t t y p 0076220 e s a r e n o t h a r d 0076240 a n d f a s t . A n E D 0076260 m i g h t s u p p o r t s 0076300 i m p l e 226 017 241 017 262 223 240 k 017 365 304 0076320 006 \0 201 | \0 \0 S 212 304 002 001 \n 304 002 001 \n 0076340 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 0076360 304 004 \a 177 004 030 017 262 223 301 ` c o m p u 0076400 t a t i o n s ( s u c h a s 0076420 s i m p l i f i c a t i o n , 0076440 r e a r r a n g e m e n t o 0076460 f s u b e x p r e s s i o n s 0076500 , a n d a r i t h m e t i c 0076520 ) , o r a D O C 226 017 241 017 262 0076540 223 240 k 017 365 304 004 d R \0 C 212 304 002 001 \n 0076560 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0076600 017 247 240 227 304 004 004 241 002 252 017 262 223 301 c m 0076620 i g h t c o n t a i n a f 0076640 a c i l i t y f o r d i s p 0076660 l a y i n g m a t h e m a t i 0076700 c a l e x p r e s s i o n s . 0076720 T h e k e y f o r a 0076740 g i v e n s o f t w a r e , 0076760 o r 226 017 241 017 262 223 240 k 017 365 304 004 e 333 0077000 \0 G 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0077020 240 240 232 240 n 240 j 017 247 240 227 304 004 003 346 003 0077040 \a 017 262 223 301 c s o f t w a r e / h 0077060 a r d w a r e m o d u l e t 0077100 o q u a l i f y a s a n 0077120 S M S c o m p o n e n t o f 0077140 o n e o f t h e a b o v 0077160 e t y p e s i s i t s a 0077200 b i l i t y t o 226 017 241 017 262 223 240 0077220 k 017 365 304 004 * 207 \0 037 212 017 247 240 227 301 037 0077240 r e a d a n d w r i t e a 0077260 b s t r a c t s y n t a x . 226 0077300 304 004 020 k \0 ( 304 004 L 202 \0 ; 212 304 002 001 0077320 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 0077340 232 240 n 240 j 017 247 240 227 304 004 005 { 003 313 017 0077360 262 223 301 \ S i n c e a b s t r a 0077400 c t s y n t a x i s h u m 0077420 a n - r e a d a b l e , a n y 0077440 t e x t e d i t o r c a n 0077460 b e u s e d a s a n E 0077500 D . H o w e v e r m a n y 0077520 226 017 241 017 262 223 240 k 017 365 304 004 ' } \0 0077540 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0077560 232 240 n 240 j 017 247 240 227 304 004 005 0 004 317 017 0077600 262 223 301 f u s e r s o f a n 0077620 S M S w i l l o n l y w a 0077640 n t t o i n t e r a c t w 0077660 i t h m a t h e m a t i c s 0077700 t h a t h a s a t y p e s 0077720 e t a p p e a r a n c e ; t 0077740 h e y s h o u l d 226 017 241 017 262 223 0077760 240 k 017 365 304 004 017 : \0 \r 212 017 247 240 227 301 0100000 ` n o t n e e d t o k n o 0100020 w t h a t t h e i r s y s 0100040 t e m t a l k s a b s t r a 0100060 c t s y n t a x w i t h i n 0100100 i t s e l f o r t o t h 0100120 e o u t s i d e w o r l d . 0100140 226 304 004 020 k \0 ( 304 006 \0 230 ^ \0 \0 213 0100160 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 0100200 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 005 0100220 353 003 O 017 262 223 301 [ K a t z ' s r 0100240 e c e n t p r o p o s a l [ 0100260 K a t z 1 9 8 7 ] a n d o 0100300 t h e r s i n t h e t y p 0100320 e s e t t i n g a n d d o c 0100340 u m e n t s c o m m u n i t i 0100360 e s , 226 017 241 017 262 223 240 k 017 365 304 004 # 0100400 # \0 " 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0100420 017 240 240 232 240 n 240 j 017 247 240 227 304 004 016 354 0100440 \r 337 017 262 223 301 g d i s t i n g u i 0100460 s h t h e f o r m ( a p p 0100500 e a r a n c e ) o f a m a 0100520 t h e m a t i c a l e x p r e 0100540 s s i o n f r o m i t s c 0100560 o n t e n t ( m e a n i n g 0100600 o r v a l u e ) . I t 226 017 0100620 241 017 262 223 240 k 017 365 304 006 001 203 O \0 001 217 0100640 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0100660 232 240 n 240 j 017 247 240 227 304 004 \a 251 006 4 017 0100700 262 223 301 h i s a t h e s i s 0100720 o f t h e a b o v e a r c 0100740 h i t e c t u r e t h a t s 0100760 u c h a d i s t i n c t i o 0101000 n c a n n o t u s e f u l l 0101020 y b e m a d e . R a t h 0101040 e r , w e c l a i m 226 017 241 017 0101060 262 223 240 k 017 365 304 004 X 373 \0 b 212 304 002 001 0101100 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0101120 j 017 247 240 227 304 004 017 033 \f b 017 262 223 301 j 0101140 t h a t a b s t r a c t s y 0101160 n t a x c a n c o n v e y 0101200 f o r m , m e a n i n g , o 0101220 r b o t h , a n d t h a t 0101240 i t s i n t e r p r e t a t 0101260 i o n i s s t r i c t l y 0101300 i n t h e e y e 226 017 241 017 262 223 0101320 240 k 017 365 304 004 7 311 \0 B 212 304 002 001 \n 304 0101340 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0101360 247 240 227 304 004 004 006 002 % 017 262 223 301 a o f 0101400 t h e b e h o l d e r ( s ) 0101420 . I n o t h e r w o r d 0101440 s , ` ` m e a n i n g i s 0101460 j u s t a h a n d s h a k e 0101500 b e t w e e n s e n d e r 0101520 a n d r e c i p i e n t ' ' 226 0101540 017 241 017 262 223 240 k 017 365 304 004 } 3 \0 240 212 0101560 017 247 240 227 301 \r [ A r n o n 1 9 8 0101600 7 ] . 226 017 365 304 004 ; y \0 ^ 212 305 005 X 0101620 e r o x 305 \n P r e s s F o n t s 0101640 305 016 T i m e s R o m a n - B R R 0101660 017 243 241 033 240 223 304 004 \t i \0 310 240 244 240 224 0101700 017 253 225 017 253 240 227 301 I 3 . C a m 0101720 i n o R e a l a s a p r o 0101740 t o t y p e S M S : E x p r 0101760 e s s i o n E d i t i n g a 0102000 n d B a s i c D o c u m e n 0102020 t s 226 017 365 304 006 \0 235 ~ \0 001 7 212 017 252 0102040 240 227 301 ) 3 . 1 . T h e E x 0102060 p r e s s i o n E d i t o r 0102100 ( E D a n d D I S P ) 226 304 004 0102120 020 k \0 ( 304 004 ( 307 \0 d 212 304 002 001 \n 304 0102140 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 240 0102160 n 240 j 017 247 240 227 304 004 005 \f 004 e 017 262 223 0102200 301 b C a m i n o R e a l p r o 0102220 v i d e s a s t a n d - a l 0102240 o n e i n t e r a c t i v e 0102260 e x p r e s s i o n e d i t o 0102300 r c a l l e d M e d d l e . 0102320 I t s u s e r i n t e r 0102340 f a c e 226 017 241 017 262 223 240 k 017 365 304 004 0102360 " 201 \0 d 212 304 002 001 \n 304 002 001 \n 240 233 021 0102400 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \a 0102420 X 005 177 017 262 223 301 c p a r a d i g m 0102440 f o l l o w s t h e T i o 0102460 g a d o c u m e n t e d i t 0102500 o r q u i t e c l o s e l y 0102520 . M u l t i p l e s e l e 0102540 c t i o n s a r e m a d e 0102560 v i a a m o u s e 226 017 241 017 262 0102600 223 240 k 017 365 304 004 034 ; \0 d 212 304 002 001 \n 0102620 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0102640 017 247 240 227 304 004 \b 031 006 373 017 262 223 301 d p 0102660 o i n t i n g d e v i c e . 0102700 O p e r a t i o n s u p o n 0102720 t h e s e l e c t i o n s 0102740 a r e i n i t i a t e d b o 0102760 t h f r o m t h e k e y b 0103000 o a r d a n d f r o m m o 0103020 u s e 226 017 241 017 262 223 240 k 240 k 240 j 017 0103040 241 017 245 223 304 006 \0 \0 035 001 B Q 240 244 240 250 0103060 304 004 5 343 \0 = 304 004 035 313 \0 310 212 305 005 X 0103100 e r o x 305 \n P r e s s F o n t s 0103120 305 016 T i m e s R o m a n - M R R 0103140 017 243 241 033 240 223 304 004 003 # \0 d 240 244 240 224 0103160 017 251 225 017 251 240 227 301 ! S U B M I T T 0103200 E D T O E P 8 8 F O R P 0103220 U B L I C A T I O N 226 304 006 002 4 C 0103240 \0 003 3 304 004 t 017 \0 ( 212 017 251 240 227 301 0 0103260 C A M I N O R E A L : A N I 0103300 N T E R A C T I V E M A T H E 0103320 M A T I C A L N O T E B O O K 0103340 226 017 247 240 227 304 006 006 216 312 \0 003 3 304 004 t 0103360 017 \0 ( 212 301 001 7 226 017 365 304 006 \0 203 033 \0 0103400 \0 1 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0103420 240 240 232 240 n 240 j 017 247 240 227 304 004 \r o \v 0103440 231 017 262 223 301 b a c t i v a t i o n 0103460 o f m e n u c o m m a n d 0103500 s . T h e s e i n p u t 0103520 a c t i o n s a r e p a r s 0103540 e d b y a u s e r i n t 0103560 e r f a c e m a n a g e m e n 0103600 t s y s t e m 226 017 241 017 262 223 240 k 0103620 017 365 304 006 \0 350 214 \0 \0 Y 212 304 002 001 \n 304 0103640 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0103660 247 240 227 304 004 004 323 004 w 017 262 223 301 i t h 0103700 a t u s e s s t a t e t r 0103720 a n s i t i o n s r a t h e r 0103740 t h a n a f o r m a l g 0103760 r a m m a r s p e c i f i c a 0104000 t i o n . I n c r e m e n t 0104020 a l m o d i f i c a t i o n s 0104040 t o t h e 226 017 241 017 262 223 240 k 017 0104060 365 304 004 O 016 \0 037 212 304 002 001 \n 304 002 001 \n 0104100 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 0104120 304 004 003 346 003 1 017 262 223 301 c e x p r e 0104140 s s i o n a r e u p d a t e 0104160 d o n t h e d i s p l a y 0104200 a f t e r e a c h k e y s 0104220 t r o k e o r m o u s e a 0104240 c t i o n . T h e r e m a 0104260 y b e m o r e t h a n 226 017 0104300 241 017 262 223 240 k 017 365 304 006 \0 325 353 \0 \0 V 0104320 212 017 247 240 227 301 2 o n e C a m i n 0104340 o R e a l e d i t o r t o o 0104360 l a c t i v e a t a n y 0104400 o n e t i m e . 226 304 004 020 k \0 ( 0104420 304 006 001 x 335 \0 \0 235 212 304 002 001 \n 304 002 001 0104440 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 240 n 240 0104460 j 017 247 240 227 304 004 005 206 004 ) 017 262 223 301 ` 0104500 T h e e d i t i n g p a r a 0104520 d i g m i s b a s e d o n 0104540 e x p r e s s i o n t r e e 0104560 s , w i t h o p e r a t o r 0104600 s a s i n t e r i o r n o 0104620 d e s a n d a t o m s a s 0104640 226 017 241 017 262 223 240 k 017 365 304 006 \0 270 255 \0 0104660 \0 O 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0104700 240 240 232 240 n 240 j 017 247 240 227 304 004 004 } 004 0104720 037 017 262 223 301 h l e a v e s . F 0104740 o r e a c h o p e r a t o r 0104760 t h e r e i s a t e m p 0105000 l a t e t h a t d e f i n e 0105020 s a n o t a t i o n f o r 0105040 t h a t o p e r a t o r . 0105060 T h e c o m p o n e n t s 226 017 0105100 241 017 262 223 240 k 017 365 304 006 \0 210 177 \0 \0 < 0105120 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0105140 232 240 n 240 j 017 247 240 227 304 004 016 e 006 266 017 0105160 262 223 301 ] o f s u c h a n o 0105200 t a t i o n a r e z e r o 0105220 o r m o r e g l y p h s r 0105240 e p r e s e n t i n g a n " 0105260 o p e r a t o r n a m e " , 0105300 t h e n o t a t i o n s f o 0105320 r 226 017 241 017 262 223 240 k 017 365 304 006 \0 217 313 0105340 \0 \0 A 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0105360 017 240 240 232 240 n 240 j 017 247 240 227 304 004 004 311 0105400 003 t 017 262 223 301 g s u b e x p r e s 0105420 s i o n s ( t h e s e a r e 0105440 e i t h e r a t o m i c n 0105460 o t a t i o n s o r , r e c 0105500 u r s i v e l y , n o t a t i 0105520 o n s o f t h e s a m e 0105540 s o r t ) , a n d a n y 226 017 0105560 241 017 262 223 240 k 017 365 304 004 ( 327 \0 023 212 304 0105600 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0105620 n 240 j 017 247 240 227 304 004 \a K 005 M 017 262 223 0105640 301 ^ d e s i r e d a d d i t i 0105660 o n a l g l y p h s . F o 0105700 r e x a m p l e , t h e s 0105720 u m m a t i o n t e m p l a t 0105740 e s p e c i f i e s t h a t 0105760 a G r e e k s i g m a , 0106000 226 305 005 X e r o x 305 \n P r e s s F 0106020 o n t s 305 \t H i p p o - M R R 017 0106040 243 241 033 240 223 304 004 003 # \0 P 240 244 240 224 017 0106060 252 225 017 252 240 227 301 001 S 226 017 247 240 227 301 004 0106100 , b e 226 017 241 017 262 223 240 k 017 365 304 006 0106120 \0 205 215 \0 \0 @ 212 304 002 001 \n 304 002 001 \n 240 0106140 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0106160 004 H 365 5 r 017 262 223 301 b u s e d t 0106200 o d e n o t e t h e o p e 0106220 r a t o r , a n d t h a t 0106240 t h e r e b e t h r e e s 0106260 u b e x p r e s s i o n s : a 0106300 l o w e r b o u n d , a n 0106320 u p p e r b o u n d 226 017 241 017 0106340 262 223 240 k 017 365 304 006 003 ^ 9 \0 001 252 212 304 0106360 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0106400 n 240 j 017 247 240 227 304 004 0 ( 036 E 017 262 223 0106420 301 ^ a n d a s u m m a n d . 0106440 S u c h t e m p l a t e s 0106460 a r e w r i t t e n a s 0106500 p r o c e d u r e s i n t h 0106520 e C e d a r l a n g u a g e 0106540 a n d d y n a m i c a l l y 0106560 226 017 241 017 262 223 240 k 017 365 304 004 027 211 \0 \f 0106600 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0106620 232 240 n 240 j 017 247 240 227 304 004 \n 333 \n ) 017 0106640 262 223 301 e l o a d e d w i t h 0106660 C a m i n o R e a l . W h e 0106700 n t e m p l a t e s a r e 0106720 f i r s t p r e s e n t e d , 0106740 a n y u n f i l l e d e x 0106760 p r e s s i o n s a r e r e 0107000 p r e s e n t e d 226 017 241 017 262 223 240 0107020 k 017 365 304 004 Q 243 \0 + 212 017 247 240 227 301 022 0107040 b y p l a c e h o l d e r s 0107060 ( 226 240 r 240 j 240 r 240 j 240 251 017 240 017 0107100 240 212 305 005 X e r o x 305 \a X C 1 - 2 0107120 - 2 305 \a C l a s s i c 017 243 241 033 240 0107140 223 017 253 240 244 240 224 017 252 225 017 252 240 227 301 003 0107160 377 357 ` 226 240 k 240 351 240 k 240 351 304 004 9 c 0107200 005 317 214 301 003 ) . 226 304 004 020 k \0 ( 304 0107220 006 001 P / \0 \0 270 212 017 247 240 227 301 ' T h 0107240 u s , i f w e p u t u p 0107260 a s u m m a t i o n t e m 0107300 p l a t e 226 304 004 020 k \0 ( 304 004 h 311 0107320 \0 = 212 017 247 240 227 240 r 240 j 240 r 240 j 240 0107340 251 304 004 \v 025 \n 024 304 004 373 223 \0 207 212 305 005 0107360 X e r o x 305 \a X C 1 - 2 - 2 305 \a 0107400 C l a s s i c 017 243 241 033 240 223 304 004 002 0107420 223 \0 d 304 002 ! 005 240 246 240 224 017 252 225 017 252 0107440 240 227 301 003 377 357 ` 226 304 004 \v 025 \n 024 304 004 0107460 003 # \0 Z 212 017 252 240 227 301 003 377 357 ` 226 304 0107500 004 030 236 002 271 017 240 212 305 005 X e r o x 305 0107520 \a X C 1 - 2 - 2 305 \a C l a s s i 0107540 c 017 243 241 033 240 223 304 004 004 K \0 d 017 253 240 0107560 246 240 224 017 253 225 017 253 240 227 301 003 377 357 ` 226 0107600 017 240 304 002 311 022 212 305 005 X e r o x 305 \a 0107620 X C 1 - 2 - 2 305 \a C l a s s i c 0107640 017 243 241 033 240 223 304 004 001 \ \0 031 240 244 240 224 0107660 017 254 225 017 254 240 227 301 003 377 357 z 226 240 k 240 0107700 351 240 k 240 351 304 004 ( 361 002 032 214 301 002 , 0107720 226 017 365 304 004 T c \0 4 212 017 247 240 227 301 X 0107740 w e m a y t h e n r e p l 0107760 a c e i t s s u m m a n d 0110000 p l a c e h o l d e r w i t h 0110020 a n i n d e f i n i t e i 0110040 n t e g r a l t e m p l a t e 0110060 t o g i v e 226 304 004 020 k \0 ( 304 0110100 004 e / \0 C 212 017 247 240 227 240 r 240 j 240 r 0110120 240 j 240 251 304 004 031 212 020 021 304 004 362 ! 001 224 0110140 212 305 005 X e r o x 305 \a X C 1 - 2 - 0110160 2 305 \a C l a s s i c 017 243 241 033 240 223 0110200 304 002 ! 005 240 244 240 224 017 252 225 017 252 240 227 301 0110220 003 377 357 ` 226 304 004 031 212 020 021 304 004 016 367 001 0110240 210 212 017 252 240 227 301 003 377 357 ` 226 304 004 $ 343 0110260 002 j 304 006 \0 \0 001 - ; N 212 305 005 X e r 0110300 o x 305 \a X C 1 - 2 - 2 305 \a C l a 0110320 s s i c 017 243 241 033 240 223 304 004 004 K \0 d 0110340 017 253 240 246 240 224 017 253 225 017 253 240 227 301 003 377 0110360 357 ` 226 304 004 J 241 002 / 304 006 \0 \0 001 - ; 0110400 N 212 017 253 240 227 301 003 377 357 ` 226 304 004 A G 0110420 006 036 304 004 372 353 004 222 212 305 005 X e r o x 0110440 305 \a X C 1 - 2 - 2 305 \a C l a s s 0110460 i c 017 243 241 033 240 223 017 253 240 244 240 224 017 254 0110500 225 017 254 240 227 301 003 377 357 u 226 304 004 + 350 001 0110520 221 304 006 \0 \0 001 - ; N 212 305 005 X e r o 0110540 x 305 \a X C 1 - 2 - 2 305 016 C l a s 0110560 s i c - i t a l i c 017 243 241 033 240 223 0110600 304 004 004 K \0 d 017 253 240 246 240 224 017 255 225 017 0110620 255 240 227 301 001 d 226 017 240 304 004 360 004 004 265 212 0110640 305 005 X e r o x 305 \a X C 1 - 2 - 2 0110660 305 \a C l a s s i c 017 243 241 033 240 223 304 0110700 004 006 \v \0 d 240 244 240 224 017 256 225 017 256 240 227 0110720 301 003 377 357 z 226 240 k 240 351 240 k 240 351 304 004 0110740 # \b \0 311 214 301 002 , 226 017 365 304 006 004 023 0110760 \a \0 002 341 212 017 247 240 227 301 P a n d t 0111000 h e n c o n t i n u e t o 0111020 f i l l i n p l a c e h o l 0111040 d e r s , e v e n t u a l l y 0111060 a r r i v i n g a t t h e 0111100 e x p r e s s i o n 226 304 004 020 k 0111120 \0 ( 304 004 f k \0 O 212 017 247 240 227 240 r 240 0111140 j 240 r 240 j 240 251 304 004 024 * 016 201 304 004 356 0111160 205 001 223 212 305 005 X e r o x 305 \a X C 1 0111200 - 2 - 2 305 016 C l a s s i c - i t 0111220 a l i c 017 243 241 033 240 223 304 002 ! 005 240 244 0111240 240 224 017 252 225 017 252 240 227 301 001 i 226 304 004 031 0111260 N 002 ] 304 004 356 205 001 223 212 305 005 X e r o 0111300 x 305 \a X C 1 - 2 - 2 305 \a C l a s 0111320 s i c 017 243 241 033 240 223 304 002 ! 005 240 244 240 0111340 224 017 253 225 017 253 240 227 301 001 0 226 304 004 016 \b 0111360 003 227 304 004 356 205 001 223 212 017 253 240 227 301 001 = 0111400 226 304 004 025 243 003 311 304 004 017 215 001 7 212 017 253 0111420 240 227 301 003 377 ! g 226 304 004 $ 337 001 ^ 304 004 0111440 \n 243 002 036 212 305 005 X e r o x 305 \a X C 0111460 1 - 2 - 2 305 \a C l a s s i c 017 243 0111500 241 033 240 223 017 253 240 244 240 224 017 254 225 017 254 240 0111520 227 301 001 1 226 304 004 025 \v \0 313 304 004 362 . 002 0111540 221 212 305 005 X e r o x 305 \a X C 1 - 2 0111560 - 2 305 016 C l a s s i c - i t a l 0111600 i c 017 243 241 033 240 223 017 253 240 244 240 224 017 255 0111620 225 017 255 240 227 301 001 x 226 304 004 024 ! \0 244 304 0111640 004 367 370 \a s 212 017 252 240 227 301 001 i 226 304 004 0111660 017 s \0 227 304 004 \b 5 001 373 304 004 \a C \0 365 0111700 304 002 ! d 241 232 304 004 % 363 \0 343 304 004 375 215 0111720 \b ) 212 305 005 X e r o x 305 \a X C 1 - 0111740 2 - 2 305 016 C l a s s i c - i t a 0111760 l i c 017 243 241 033 240 223 304 004 004 K \0 d 017 0112000 253 240 246 240 224 017 256 225 017 256 240 227 301 001 x 226 0112020 304 004 033 271 001 233 304 004 366 ] 005 005 212 305 005 X 0112040 e r o x 305 \a X C 1 - 2 - 2 305 \a C 0112060 l a s s i c 017 243 241 033 240 223 304 004 \a k 0112100 \0 d 240 244 240 224 017 257 225 017 257 240 227 301 003 377 0112120 357 u 226 304 004 D 360 001 351 304 004 375 215 \b ) 212 0112140 017 256 240 227 301 001 d 226 017 240 304 004 352 ] 003 360 0112160 212 305 005 X e r o x 305 \a X C 1 - 2 - 0112200 2 305 \a C l a s s i c 017 243 241 033 240 223 0112220 304 004 002 r \0 031 240 244 240 224 017 260 225 017 260 240 0112240 227 301 003 377 357 z 226 240 k 240 351 240 k 240 351 304 0112260 006 001 U 234 \0 \a 033 214 301 002 . 226 304 004 020 0112300 k \0 ( 304 006 \0 372 0 \0 \0 321 212 304 002 001 \n 0112320 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 0112340 240 n 240 j 017 247 240 227 304 004 001 253 001 _ 017 262 0112360 223 301 a O n e m a y s e l e c 0112400 t s u b e x p r e s s i o n s 0112420 c o r r e s p o n d i n g t 0112440 o s u b t r e e s b y p o 0112460 i n t i n g a t t h e r e 0112500 l e v a n t o b j e c t . 0112520 T h i s 226 017 241 017 262 223 240 k 017 365 304 004 0112540 B 355 \0 ; 212 304 002 001 \n 304 002 001 \n 240 233 021 0112560 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 002 0112600 ( 001 ? 017 262 223 301 d s t r a t e g y 0112620 h e l p s e n s u r e t h 0112640 a t s t r u c t u r a l l y 0112660 c o r r e c t e x p r e s s i 0112700 o n s a r e c r e a t e d 0112720 a t t h e e x p e n s e o 0112740 f f r e e d o m t o 226 017 241 017 0112760 262 223 240 k 017 365 304 004 d 273 \0 ^ 212 304 002 001 0113000 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0113020 j 017 247 240 227 304 004 016 267 \v g 017 262 223 301 f 0113040 m a n i p u l a t e a l l s 0113060 y m b o l s i n a n o t a 0113100 t i o n . T h e i n t e n 0113120 t i o n i s t h a t a d d 0113140 i t i o n a l o p e r a t o r 0113160 t e m p l a t e s b e a d 0113200 d e d t o 226 017 241 017 262 223 240 k 017 365 0113220 304 004 ? 217 \0 ? 212 304 002 001 \n 304 002 001 \n 240 0113240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0113260 004 006 237 004 i 017 262 223 301 c a c c o m m 0113300 o d a t e n e w n o t a t i 0113320 o n r a t h e r t h a n p 0113340 e r m i t t i n g t h e e d 0113360 i t o r t o r e a r r a n g 0113400 e s u b e x p r e s s i o n s 0113420 a r b i t r a r i l y . 226 017 241 0113440 017 262 223 240 k 017 365 304 006 \0 207 L \0 \0 217 212 0113460 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0113500 240 n 240 j 017 247 240 227 304 004 005 211 002 363 017 262 0113520 223 301 a T o f a c i l i t a t e 0113540 k e y b o a r d e n t r y , 0113560 a c o m p l e t e s e t 0113600 o f n a v i g a t i o n a l 0113620 c o m m a n d s i s p r o v 0113640 i d e d , s u c h a s s e 0113660 l e c t 226 017 241 017 262 223 240 k 017 365 304 006 0113700 \0 310 210 \0 \0 343 212 017 247 240 227 301 2 p a r 0113720 e n t , s i b l i n g o r 0113740 c h i l d o f t h e c u r 0113760 r e n t s e l e c t i o n . 226 0114000 304 004 020 k \0 ( 304 004 K 203 \0 ] 212 304 002 001 0114020 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 0114040 232 240 n 240 j 017 247 240 227 304 004 004 235 002 330 017 0114060 262 223 301 0 C a m i n o R e a l d 0114100 e p e n d s o n f o u r t 0114120 y p e s o f s e l e c t i o 0114140 n s : 226 305 005 X e r o x 305 \n P r 0114160 e s s F o n t s 305 016 T i m e s R 0114200 o m a n - M I R 017 243 241 033 240 223 304 004 0114220 003 # \0 P 240 244 240 224 017 252 225 017 252 240 227 301 0114240 \a p r i m a r y 226 017 247 240 227 301 002 , 0114260 226 017 252 240 227 301 004 c o p y 226 017 247 240 0114300 227 301 002 , 226 017 252 240 227 301 004 m o v e 0114320 226 017 247 240 227 301 023 , a n d t h e 0114340 k e y b o a r d 226 017 252 240 227 301 0114360 005 c a r e t 226 017 247 240 227 301 001 . 226 017 0114400 241 017 262 223 240 k 017 365 304 006 002 030 q \0 002 314 0114420 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 0114440 232 240 n 240 j 017 247 240 227 304 004 023 364 020 037 017 0114460 262 223 301 c T h e s e s e l e c t 0114500 i o n s m a y b e i n a 0114520 n y o f s e v e r a l C a 0114540 m i n o R e a l t o o l s . 0114560 T h e p r i m a r y s e l e 0114600 c t i o n , m a d e b y p 0114620 o i n t i n g 226 017 241 017 262 223 240 k 017 0114640 365 304 004 4 334 \0 M 212 304 002 001 \n 304 002 001 \n 0114660 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 0114700 304 004 020 247 \v & 017 262 223 301 c a n d c 0114720 l i c k i n g w i t h t h e 0114740 m o u s e , e s t a b l i s 0114760 h e s t h e f o c u s o f 0115000 m o s t o p e r a t i o n s 0115020 . T h e c o p y s e l e 0115040 c t i o n , m a d e b y 226 017 0115060 241 017 262 223 240 k 017 365 304 004 L 031 \0 z 212 304 0115100 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0115120 n 240 j 017 247 240 227 304 004 006 323 003 023 017 262 223 0115140 301 026 c h o r d i n g t h e k 0115160 e y b o a r d 226 017 243 240 227 301 005 S 0115200 H I F T 226 017 247 240 227 301 @ k e y 0115220 a n d c l i c k i n g t h e 0115240 m o u s e , s u p p l i e s 0115260 t h e a r g u m e n t f o 0115300 r c o p y i n g a 226 017 241 017 262 0115320 223 240 k 017 365 304 004 , R \0 O 212 304 002 001 \n 0115340 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0115360 017 247 240 227 304 004 \b 371 005 t 017 262 223 301 ` s 0115400 u b e x p r e s s i o n t o 0115420 r e p l a c e t h e p r i m 0115440 a r y s e l e c t i o n . 0115460 A m o v e s e l e c t i o n 0115500 , m a d e b y c h o r d i 0115520 n g t h e k e y b o a r d 226 0115540 017 241 017 262 223 240 k 017 365 304 004 F B \0 215 212 0115560 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0115600 240 n 240 j 017 243 240 227 304 004 032 326 020 301 017 262 0115620 223 301 004 C T R L 226 017 247 240 227 301 \ k 0115640 e y a n d c l i c k i n g 0115660 t h e m o u s e , s u p p l 0115700 i e s t h e a r g u m e n t 0115720 f o r m o v i n g a s u 0115740 b e x p r e s s i o n t o r 0115760 e p l a c e t h e 226 017 241 017 262 223 0116000 240 k 017 365 304 006 002 356 s \0 006 273 212 304 002 001 0116020 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0116040 j 017 247 240 227 304 004 005 251 004 017 017 262 223 301 d 0116060 p r i m a r y s e l e c t i o 0116100 n . T h e k e y b o a r d 0116120 c a r e t i d e n t i f i e 0116140 s t h e e x p r e s s i o n 0116160 m o s t r e c e n t l y e 0116200 n t e r e d b y a k e y b 0116220 o a r d 226 017 241 017 262 223 240 k 017 365 304 004 0116240 1 365 \0 206 212 017 247 240 227 301 K i n p u t 0116260 a c t i o n a n d d e t e 0116300 r m i n e s w h e r e t h e 0116320 n e x t k e y b o a r d i 0116340 n p u t w i l l b e d i r 0116360 e c t e d . 226 304 004 020 k \0 ( 304 004 034 0116400 ; \0 d 212 304 002 001 \n 304 002 001 \n 240 233 304 004 0116420 A 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 0116440 304 004 \v 330 \a 033 017 262 223 301 Y A l l e 0116460 d i t i n g o p e r a t i o n 0116500 s a r e a v a i l a b l e 0116520 f r o m m e n u b u t t o n 0116540 s a n d s e v e r a l c o 0116560 m m o n o n e s a r e m a 0116600 p p e d 226 017 241 017 262 223 240 k 240 k 240 j 0116620 017 241 017 245 223 304 006 \0 \0 035 001 B Q 240 244 240 0116640 250 304 004 5 343 \0 = 304 004 035 313 \0 310 212 305 005 0116660 X e r o x 305 \n P r e s s F o n t 0116700 s 305 016 T i m e s R o m a n - M R 0116720 R 017 243 241 033 240 223 304 004 003 # \0 d 240 244 240 0116740 224 017 251 225 017 251 240 227 301 ! S U B M I T 0116760 T E D T O E P 8 8 F O R 0117000 P U B L I C A T I O N 226 017 247 240 227 0117020 017 365 304 004 t 017 \0 ( 212 301 001 8 226 304 004 4 0117040 377 \0 K 304 004 t 017 \0 ( 212 017 251 240 227 301 0 0117060 C A M I N O R E A L : A N I 0117100 N T E R A C T I V E M A T H E 0117120 M A T I C A L N O T E B O O K 0117140 226 017 365 304 006 \0 207 | \0 \0 3 212 304 002 001 \n 0117160 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0117200 017 247 240 227 304 004 \b 250 \b Y 017 262 223 301 b o 0117220 n t o k e y b o a r d k e y 0117240 s . C a m i n o R e a l u 0117260 s e s a p s e u d o - p a r 0117300 s e r i n t h e C e d a r 0117320 u s e r i n t e r f a c e 0117340 m a n a g e m e n t s y s t e 0117360 m 226 017 241 017 262 223 240 k 017 365 304 006 \0 216 251 0117400 \0 \0 7 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0117420 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \a 234 0117440 004 G 017 262 223 301 b t o m a p k e 0117460 y s t r o k e s i n t o e d 0117500 i t i n g o p e r a t i o n s 0117520 . T h i s p r o v i d e s 0117540 a f e e l s i m i l a r 0117560 t o a n o p e r a t o r p 0117600 r e c e d e n c e 226 017 241 017 262 223 240 0117620 k 017 365 304 004 < 277 \0 030 212 304 002 001 \n 304 002 0117640 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0117660 240 227 304 004 \b 177 005 225 017 262 223 301 B g r a 0117700 m m a r , b u t i s u n f 0117720 o r t u n a t e l y n o t v 0117740 e r y n a t u r a l . F o 0117760 r e x a m p l e , t h e 226 0120000 017 245 240 227 301 \b < C T R L - P > 226 017 0120020 247 240 227 301 026 k e y s t r o k e 0120040 i n v o k e s t h e 226 017 241 017 262 0120060 223 240 k 017 365 304 006 \0 221 242 \0 \0 ; 212 304 002 0120100 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0120120 240 j 017 247 240 227 304 004 \v t \t ! 017 262 223 301 0120140 4 ` s e l e c t p a r e n t ' 0120160 o p e r a t i o n , s o t 0120200 h e k e y b o a r d s e q u 0120220 e n c e 226 017 245 240 227 301 027 x ^ 2 < 0120240 C T R L - P > + 1 < C T R L - P 0120260 > = 0 226 017 247 240 227 301 023 i s r e 0120300 q u i r e d t o g e t 226 017 241 0120320 017 262 223 240 k 017 365 304 006 \0 243 225 \0 \0 D 212 0120340 017 247 240 227 301 + t h e p r o p e r 0120360 a s s o c i a t i o n s f o 0120400 r t h e e x p r e s s i o n 0120420 226 240 r 240 j 240 r 240 j 240 251 017 240 017 240 0120440 212 305 005 X e r o x 305 \a X C 1 - 2 - 0120460 2 305 016 C l a s s i c - i t a l i 0120500 c 017 243 241 033 240 223 017 253 240 244 240 224 017 252 225 0120520 017 252 240 227 301 001 x 226 304 004 022 s 003 252 304 004 0120540 \a Q 001 271 212 305 005 X e r o x 305 \a X C 0120560 1 - 2 - 2 305 \a C l a s s i c 017 243 0120600 241 033 240 223 304 002 ! 005 240 244 240 224 017 253 225 017 0120620 253 240 227 301 001 2 226 304 004 * 177 002 267 017 240 212 0120640 305 005 X e r o x 305 \a X C 1 - 2 - 2 0120660 305 \a C l a s s i c 017 243 241 033 240 223 017 0120700 253 304 004 004 K \0 d 240 246 240 224 017 254 225 017 254 0120720 240 227 301 001 1 226 304 004 A K 001 373 017 240 212 017 0120740 254 240 227 301 001 0 226 304 004 \v i \0 207 017 240 212 0120760 017 254 240 227 301 001 = 226 304 004 \r 250 001 363 017 240 0121000 212 305 005 X e r o x 305 \a X C 1 - 2 - 0121020 2 305 \a C l a s s i c 017 243 241 033 240 223 0121040 017 253 240 244 240 224 017 255 225 017 255 240 227 301 001 + 0121060 226 240 k 240 351 240 k 240 351 304 004 026 337 \0 230 214 0121100 301 002 . 226 304 004 020 k \0 ( 304 004 r 325 \0 0121120 2 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 0121140 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0121160 002 g 002 ` 017 262 223 301 = M o d i f i c 0121200 a t i o n s t o t h e p r 0121220 i m a r y s e l e c t i o n 0121240 m a y o c c u r e i t h e r 0121260 b y a 226 305 005 X e r o x 305 \n 0121300 P r e s s F o n t s 305 016 T i m e 0121320 s R o m a n - M I R 017 243 241 033 240 223 0121340 304 004 003 # \0 P 240 244 240 224 017 252 225 017 252 240 0121360 227 301 \a r e p l a c e 226 017 247 240 227 301 0121400 020 o p e r a t i o n o r a 0121420 226 017 252 240 227 301 004 w r a p 226 017 247 240 0121440 227 301 \v o p e r a t i o n . 226 017 0121460 241 017 262 223 240 k 017 365 304 004 7 331 \0 031 212 304 0121500 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0121520 n 240 j 017 247 240 227 304 004 002 265 002 * 017 262 223 0121540 301 f I n a r e p l a c e o 0121560 p e r a t i o n , t h e s u 0121600 b e x p r e s s i o n i n t 0121620 h e p r i m a r y s e l e c 0121640 t i o n i s d e l e t e d 0121660 a n d a n e w s u b e x p 0121700 r e s s i o n , 226 017 241 017 262 223 240 k 0121720 017 365 304 004 l 217 \0 2 212 304 002 001 \n 304 002 001 0121740 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0121760 227 304 004 005 263 005 001 017 262 223 301 h d e t e 0122000 r m i n e d b y e i t h e r 0122020 a k e y b o a r d i n p u 0122040 t a c t i o n o r a m e 0122060 n u c h o i c e , i s i n 0122100 s e r t e d i n t h e e x 0122120 p r e s s i o n t r e e . 0122140 I n a 226 017 241 017 262 223 240 k 017 365 304 004 0122160 4 266 \0 031 212 304 002 001 \n 304 002 001 \n 240 233 021 0122200 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 005 0122220 205 003 \r 017 262 223 301 a w r a p o p e 0122240 r a t i o n , t h e p r i m 0122260 a r y s e l e c t i o n i s 0122300 r e t a i n e d a n d r e 0122320 p l a c e s o n e o f t h 0122340 e p l a c e h o l d e r s i 0122360 n t h e n e w 226 017 241 017 262 223 240 0122400 k 017 365 304 004 024 u \0 \n 212 304 002 001 \n 304 002 0122420 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0122440 240 227 304 004 004 \v 002 A 017 262 223 301 U s u b 0122460 e x p r e s s i o n . F o r 0122500 e x a m p l e , c o n s i d 0122520 e r t h e f i r s t p l a 0122540 c e h o l d e r i n t h e 0122560 a d d i t i o n t e m p l a t 0122600 e 226 240 r 240 j 240 r 240 j 240 251 017 240 017 0122620 240 212 305 005 X e r o x 305 \a X C 1 - 2 0122640 - 2 305 \a C l a s s i c 017 243 241 033 240 0122660 223 017 253 304 004 004 K \0 d 240 246 240 224 017 252 225 0122700 017 252 240 227 301 003 377 357 ` 226 304 004 \r 254 \0 301 0122720 017 240 212 017 252 240 227 301 003 377 357 ` 226 304 004 016 0122740 241 001 231 017 240 212 305 005 X e r o x 305 \a X 0122760 C 1 - 2 - 2 305 \a C l a s s i c 017 0123000 243 241 033 240 223 304 004 004 K \0 d 240 244 240 224 017 0123020 253 225 017 253 240 227 301 001 + 226 240 k 240 351 240 k 0123040 240 351 304 004 036 210 001 027 214 301 \a a s t 0123060 h e 226 017 241 017 262 223 240 k 017 365 304 004 1 223 0123100 \0 031 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0123120 240 240 232 240 n 240 j 017 247 240 227 304 004 024 G \n 0123140 213 017 262 223 301 N p r i m a r y s e 0123160 l e c t i o n . T y p i n g 0123200 t h e l e t t e r ` r ' 0123220 r e p l a c e s t h e f i r 0123240 s t p l a c e h o l d e r w 0123260 i t h 226 240 r 240 j 240 r 240 j 240 251 017 0123300 240 017 240 212 305 005 X e r o x 305 \a X C 1 0123320 - 2 - 2 305 016 C l a s s i c - i t 0123340 a l i c 017 243 241 033 240 223 304 004 004 K \0 d 0123360 017 253 240 246 240 224 017 252 225 017 252 240 227 301 001 r 0123400 226 240 k 240 351 240 k 240 351 304 004 016 314 003 ] 214 0123420 301 025 r e s u l t i n g i n 0123440 t h e n e w 226 017 241 017 262 223 240 k 017 0123460 365 304 004 ` 003 \0 2 212 304 002 001 \n 304 002 001 \n 0123500 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 0123520 304 004 006 304 004 _ 017 262 223 301 \v e x p r e 0123540 s s i o n 226 240 r 240 j 240 r 240 j 240 0123560 251 017 240 017 240 212 305 005 X e r o x 305 \a X 0123600 C 1 - 2 - 2 305 016 C l a s s i c - 0123620 i t a l i c 017 243 241 033 240 223 304 004 004 K 0123640 \0 d 240 244 240 224 017 252 225 017 252 240 227 301 001 r 0123660 226 304 004 005 # \0 h 017 240 212 305 005 X e r o 0123700 x 305 \a X C 1 - 2 - 2 305 \a C l a s 0123720 s i c 017 243 241 033 240 223 017 253 304 004 004 K \0 0123740 d 240 246 240 224 017 253 225 017 253 240 227 301 003 377 357 0123760 ` 226 304 004 016 033 003 331 017 240 212 017 253 240 227 301 0124000 001 + 226 240 k 240 351 240 k 240 351 304 004 177 2 005 0124020 245 214 301 O , a n d s u b s e 0124040 q u e n t l y t y p i n g t 0124060 h e k e y ` ^ ' w r a p s 0124100 a s u p e r s c r i p t t 0124120 e m p l a t e a r o u n d t 0124140 h e 226 240 r 240 j 240 r 240 j 240 251 017 240 0124160 017 240 212 305 005 X e r o x 305 \a X C 1 - 0124200 2 - 2 305 016 C l a s s i c - i t a 0124220 l i c 017 243 241 033 240 223 304 004 004 K \0 d 017 0124240 253 240 246 240 224 017 252 225 017 252 240 227 301 001 r 226 0124260 240 k 240 351 240 k 240 351 304 004 016 314 003 ] 214 301 0124300 003 t o 226 017 241 017 262 223 240 k 017 365 304 004 0124320 . p \0 031 212 017 247 240 227 301 \b p r o d u 0124340 c e 226 240 r 240 j 240 r 240 j 240 251 017 240 0124360 017 240 212 305 005 X e r o x 305 \a X C 1 - 0124400 2 - 2 305 016 C l a s s i c - i t a 0124420 l i c 017 243 241 033 240 223 304 004 004 K \0 d 240 0124440 244 240 224 017 252 225 017 252 240 227 301 001 r 226 304 004 0124460 - I \t 321 304 004 020 ? 003 002 212 305 005 X e r 0124500 o x 305 \a X C 1 - 2 - 2 305 \a C l a 0124520 s s i c 017 243 241 033 240 223 304 004 002 223 \0 d 0124540 304 002 ! 005 240 246 240 224 017 253 225 017 253 240 227 301 0124560 003 377 357 ` 226 304 004 022 # \0 372 017 240 212 305 005 0124600 X e r o x 305 \a X C 1 - 2 - 2 305 \a 0124620 C l a s s i c 017 243 241 033 240 223 017 253 240 0124640 244 240 224 017 254 225 017 254 240 227 301 003 377 357 ` 226 0124660 304 004 H $ \a 205 017 240 212 305 005 X e r o x 0124700 305 \a X C 1 - 2 - 2 305 \a C l a s s 0124720 i c 017 243 241 033 240 223 017 253 304 004 004 K \0 d 0124740 240 246 240 224 017 255 225 017 255 240 227 301 001 + 226 240 0124760 k 240 351 240 k 240 351 304 004 023 ' \0 251 214 301 030 0125000 ( w h e r e a s r e p l a c 0125020 i n g t h e 226 240 r 240 j 240 r 240 0125040 j 240 251 017 240 017 240 212 305 005 X e r o x 305 0125060 \a X C 1 - 2 - 2 305 016 C l a s s i 0125100 c - i t a l i c 017 243 241 033 240 223 304 004 0125120 004 K \0 d 017 253 240 246 240 224 017 252 225 017 252 240 0125140 227 301 001 r 226 240 k 240 351 240 k 240 351 304 004 016 0125160 314 003 ] 214 301 + w i t h a s u 0125200 p e r s c r i p t t e m p l a 0125220 t e w o u l d p r o d u c e 0125240 226 240 r 240 j 240 r 240 j 240 251 017 240 017 240 0125260 212 305 005 X e r o x 305 \a X C 1 - 2 - 0125300 2 305 \a C l a s s i c 017 243 241 033 240 223 0125320 304 004 004 K \0 d 017 253 240 246 240 224 017 252 225 017 0125340 252 240 227 301 003 377 357 ` 226 304 004 005 T \0 207 304 0125360 004 \b 215 001 016 212 305 005 X e r o x 305 \a X 0125400 C 1 - 2 - 2 305 \a C l a s s i c 017 0125420 243 241 033 240 223 304 004 002 223 \0 d 304 002 ! 005 240 0125440 246 240 224 017 253 225 017 253 240 227 301 003 377 357 ` 226 0125460 304 004 001 201 \0 020 017 240 212 305 005 X e r o x 0125500 305 \a X C 1 - 2 - 2 305 \a C l a s s 0125520 i c 017 243 241 033 240 223 017 253 240 244 240 224 017 254 0125540 225 017 254 240 227 301 003 377 357 ` 226 304 004 032 223 001 0125560 303 017 240 212 017 254 240 227 301 001 + 226 240 k 240 351 0125600 240 k 240 351 304 004 034 372 \0 327 214 301 003 ) . 0125620 226 304 004 020 k \0 ( 304 006 001 0 355 \0 \0 253 212 0125640 304 002 001 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 0125660 017 240 240 232 240 n 240 j 017 247 240 227 304 004 004 221 0125700 002 264 017 262 223 301 ` T h e m a t h 0125720 e x p r e s s i o n e d i t o 0125740 r p r o v i d e s s e v e r 0125760 a l ` c r e a t u r e c o m 0126000 f o r t s ' s u i t e d t o 0126020 i n t e r a c t i v e e d i 0126040 t i n g o f 226 017 241 017 262 223 240 k 017 0126060 365 304 006 001 003 312 \0 \0 227 212 304 002 001 \n 304 002 0126100 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0126120 240 227 304 004 003 375 001 301 017 262 223 301 [ c o m 0126140 p l e x n o t a t i o n , e 0126160 s p e c i a l l y t h e u n 0126200 d o c o m m a n d a n d v 0126220 a r i o u s s c a l i n g o 0126240 p e r a t i o n s t o i m p 0126260 r o v e t h e 226 017 241 017 262 223 240 k 0126300 017 365 304 004 e 037 \0 = 212 017 247 240 227 301 . r 0126320 e a d a b i l i t y o n l o 0126340 w r e s o l u t i o n d i s 0126360 p l a y s c r e e n s . 226 304 004 0126400 020 k \0 ( 304 004 L 001 \0 0 212 304 002 001 \n 304 0126420 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 240 0126440 n 240 j 017 247 240 227 304 004 # 8 020 365 017 262 223 0126460 301 Y P r e v i o u s m a t h e 0126500 m a t i c a l e x p r e s s i 0126520 o n e d i t o r s i n c l u 0126540 d e t h e X e r o x S t a 0126560 r [ K i m b a l l 1 9 7 8 ] 0126600 , [ M c G r e g o r 226 017 241 017 262 0126620 223 240 k 017 365 304 004 031 332 \0 021 212 304 002 001 \n 0126640 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0126660 017 247 240 227 304 004 \f 221 004 216 017 262 223 301 U 1 0126700 9 7 8 a , 1 9 7 8 b , 1 9 8 0126720 0 ] , [ B e c k e r 1 9 8 7 0126740 ] , E D I M A T H [ Q u i n 0126760 t 1 9 8 3 , 1 9 8 4 ] , D 0127000 R E A M S [ F o s t e r 1 9 0127020 8 4 ] , 226 017 241 017 262 223 240 k 017 365 304 004 0127040 D 206 \0 / 212 304 002 001 \n 304 002 001 \n 240 233 021 0127060 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 004 0127100 e 003 b 017 262 223 301 a M a t h S c r i 0127120 b e [ S m i t h 1 9 8 6 ] , 0127140 M I L O [ A v i t z u r 1 0127160 9 8 7 ] , a n d I N F O R 0127200 [ S c h e l t e r 1 9 8 7 ] . 0127220 I t s h o u l d b e n 0127240 o t e d t h a t 226 017 241 017 262 223 240 0127260 k 017 365 304 006 \0 370 Y \0 \0 262 212 304 002 001 \n 0127300 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 0127320 017 247 240 227 304 004 5 314 032 003 017 262 223 301 ] a 0127340 l t h o u g h w e , l i k e 0127360 m a n y o t h e r s , h a 0127400 v e b e e n i n f l u e n c 0127420 e d b y t h e S t a r e 0127440 q u a t i o n e d i t o r , 0127460 C a m i n o R e a l ' s 226 017 241 017 0127500 262 223 240 k 017 365 304 006 \0 365 - \0 \0 270 212 304 0127520 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 0127540 n 240 j 017 247 240 227 304 004 H W F 315 017 262 223 0127560 301 g M e d d l e e d i t o r 0127600 h a s b e e n d e s i g n e 0127620 d a n d b u i l t f r o m 0127640 s c r a t c h i n C e d a 0127660 r , a n d d i f f e r s f 0127700 r o m S t a r ' s e d i t o 0127720 r i n w a y s 226 017 241 017 262 223 240 0127740 k 017 365 304 004 . 373 \0 % 212 017 247 240 227 301 0127760 b o t h n u m e r o u s a n 0130000 d f u n d a m e n t a l . 0130020 226 017 365 304 006 002 374 213 \0 002 234 212 305 005 X e 0130040 r o x 305 \n P r e s s F o n t s 305 0130060 016 T i m e s R o m a n - B R R 017 0130100 243 241 033 240 223 304 004 003 # \0 P 240 244 240 224 017 0130120 252 225 017 252 240 227 301 024 3 . 2 . C h 0130140 a r a c t e r s e t s 226 304 004 020 0130160 k \0 ( 304 004 B 375 \0 @ 212 304 002 001 \n 304 002 0130200 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 240 n 0130220 240 j 017 247 240 227 304 004 005 N 003 361 017 262 223 301 0130240 a C a m i n o R e a l f i n e 0130260 s s e s t h e c h a l l e n 0130300 g e o f p r e s e n t i n g 0130320 t h e r i c h c o l l e c 0130340 t i o n o f m u l t i l i n 0130360 g u a l a n d t e c h n i c 0130400 a l 226 017 241 017 262 223 240 k 017 365 304 006 \0 270 0130420 \0 \0 \0 273 212 304 002 001 \n 304 002 001 \n 240 233 021 0130440 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \a 0130460 003 004 367 017 262 223 301 c s y m b o l s 0130500 i n m a t h e m a t i c s b 0130520 y u t i l i z i n g t h e 0130540 X e r o x c h a r a c t e r 0130560 c o d e s t a n d a r d [ X 0130600 e r o x , 1 9 8 6 ] . T h 0130620 i s s t a n d a r d 226 017 241 017 262 0130640 223 240 k 017 365 304 006 002 006 246 \0 002 3 212 304 002 0130660 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0130700 240 j 017 247 240 227 304 004 \f G \v 034 017 262 223 301 0130720 g a s s i g n s a u n i q u 0130740 e c o d e ( p o s s i b l y 0130760 1 , 2 o r 3 b y t e s 0131000 l o n g ) t o e a c h s 0131020 y m b o l a n d s u b s u m 0131040 e s s e v e r a l i n t e r 0131060 n a t i o n a l 226 017 241 017 262 223 240 k 0131100 017 365 304 004 y \f \0 215 212 304 002 001 \n 304 002 001 0131120 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0131140 227 304 004 \n \f 006 a 017 262 223 301 + s t a n 0131160 d a r d s , s u c h a s I 0131200 S O a n d J I S , a s w 0131220 e l l a s 226 305 005 X e r o x 305 0131240 \n P r e s s F o n t s 305 016 T i m 0131260 e s R o m a n - M I R 017 243 241 033 240 0131300 223 304 004 003 # \0 P 240 244 240 224 017 253 225 017 253 0131320 240 227 301 \b d e f a c t o 226 017 247 240 0131340 227 301 035 s t a n d a r d s , s 0131360 u c h a s t h e A M S T 0131400 226 304 004 374 335 001 220 215 301 001 E 226 304 004 003 # 0131420 001 220 215 301 016 X m a t h s y m b 0131440 o l s 226 017 241 017 262 223 240 k 017 365 304 004 U 0131460 361 \0 l 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0131500 017 240 240 232 240 n 240 j 017 247 240 227 304 004 005 E 0131520 002 251 017 262 223 301 ] [ K n u t h 1 9 0131540 8 4 ] . F o n t s t h a t 0131560 c o n f o r m t o t h e 0131600 X e r o x c h a r a c t e r 0131620 c o d e s t a n d a r d w i 0131640 l l h a v e m a t h e m a t 0131660 i c a l 226 017 241 017 262 223 240 k 017 365 304 004 0131700 # 353 \0 1 212 304 002 001 \n 304 002 001 \n 240 233 021 0131720 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \b 0131740 ! 006 ) 017 262 223 301 g s y m b o l s 0131760 i n s t a n d a r d c o d e 0132000 p o s i t i o n s . S h o 0132020 u l d a f o n t l a c k 0132040 p a r t i c u l a r s y m b o 0132060 l s , a b a c k s t o p ` 0132100 ` k i t c h e n s i n k ' ' 226 0132120 017 241 017 262 223 240 k 017 365 304 004 9 245 \0 V 212 0132140 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0132160 240 n 240 j 017 247 240 227 304 004 \b 247 004 f 017 262 0132200 223 301 ` f o n t w i t h a g 0132220 l y p h f o r e v e r y c 0132240 o d e m a y b e a u t o m 0132260 a t i c a l l y s u b s t i t 0132300 u t e d . O t h e r w i s e 0132320 , t h e s c a l a b l e f 0132340 o n t 226 017 241 017 262 223 240 k 017 365 304 006 \0 0132360 211 352 \0 \0 343 212 304 002 001 \n 304 002 001 \n 240 233 0132400 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0132420 003 M 003 L 017 262 223 301 g a l g o r i t 0132440 h m s i n t h e C e d a r 0132460 I m a g e r ( s e e [ S w 0132500 i n e h a r t 1 9 8 6 ] ) e 0132520 n s u r e t h a t s y m b o 0132540 l s w i l l a p p e a r o 0132560 n t h e d i s p l a y o r 0132600 226 017 241 017 262 223 240 k 017 365 304 004 Z 374 \0 247 0132620 212 017 247 240 227 301 < i n t h e d o 0132640 c u m e n t w i t h a p p r 0132660 o p r i a t e s i z e a n d 0132700 s h a p e i n f o r m a t i 0132720 o n . 226 304 004 020 k \0 ( 304 006 001 037 { \0 0132740 002 c 212 304 002 001 \n 304 002 001 \n 240 233 304 004 A 0132760 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 304 0133000 004 004 233 004 d 017 262 223 301 ` N o n e t h 0133020 e l e s s , t h e r e r e m 0133040 a i n s t h e c h a l l e n 0133060 g e o f i d e n t i f y i n 0133100 g a n d i n p u t i n g s 0133120 y m b o l s b e y o n d t h 0133140 e s t a n d a r d 226 017 241 017 262 223 0133160 240 k 017 365 304 004 9 177 \0 215 212 304 002 001 \n 304 0133200 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0133220 247 240 227 304 004 005 / 003 004 017 262 223 301 ^ k e 0133240 y b o a r d k e y s . C a 0133260 m i n o R e a l e m p l o y s 0133300 a t e n t a t i v e s o l 0133320 u t i o n b y u s i n g m 0133340 e n u s f o r s p e c i a l 0133360 s y m b o l s a n d 226 017 241 017 0133400 262 223 240 k 017 365 304 004 # 212 \0 g 212 304 002 001 0133420 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0133440 j 017 247 240 227 304 004 006 363 004 % 017 262 223 301 b 0133460 G r e e k l e t t e r s . 0133500 O t h e r X e r o x s y s t 0133520 e m s u s e v i r t u a l 0133540 k e y b o a r d s t o m a p 0133560 t h e k e y s i n t o a 0133600 r b i t r a r y c h a r a c t 0133620 e r 226 017 241 017 262 223 240 k 017 365 304 004 & 255 0133640 \0 211 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0133660 240 240 232 240 n 240 j 017 247 240 227 304 004 003 _ 002 0133700 335 017 262 223 301 e c o d e s a n d 0133720 a b b r e v i a t i o n n a m 0133740 e l o o k u p t r a n s l a 0133760 t i o n s t o m a p t o k 0134000 e n i d e n t i f i e r s i 0134020 n t o s y m b o l s [ B e c 0134040 k e r , 1 9 8 7 ] , 226 017 241 017 262 0134060 223 240 k 240 k 240 j 017 241 017 245 223 304 006 \0 \0 0134100 035 001 B Q 240 244 240 250 304 004 5 343 \0 = 304 004 0134120 035 313 \0 310 212 305 005 X e r o x 305 \n P r 0134140 e s s F o n t s 305 016 T i m e s R 0134160 o m a n - M R R 017 243 241 033 240 223 304 004 0134200 003 # \0 d 240 244 240 224 017 251 225 017 251 240 227 301 0134220 ! S U B M I T T E D T O E P 0134240 8 8 F O R P U B L I C A T I 0134260 O N 226 304 004 a 033 \0 215 304 004 t 017 \0 ( 212 0134300 017 251 240 227 301 0 C A M I N O R E A L 0134320 : A N I N T E R A C T I V E 0134340 M A T H E M A T I C A L N O 0134360 T E B O O K 226 017 247 240 227 304 004 T 005 \0 0134400 ) 304 004 t 017 \0 ( 212 301 001 9 226 017 365 304 006 0134420 \0 203 033 \0 \0 1 212 017 247 240 227 301 ) a n 0134440 a p p r o a c h t h a t o f 0134460 f e r s f o o d f o r t h 0134500 o u g h t . 226 017 365 304 006 \0 277 W \0 \0 0134520 K 212 305 005 X e r o x 305 \n P r e s s 0134540 F o n t s 305 016 T i m e s R o m a 0134560 n - B R R 017 243 241 033 240 223 304 004 003 # \0 0134600 P 240 244 240 224 017 252 225 017 252 240 227 301 6 3 . 0134620 3 . T h e I n t e g r a t 0134640 e d D o c u m e n t F o r m 0134660 a t t e r ( D O C a n d D 0134700 I S P ) 226 304 004 020 k \0 ( 304 006 001 037 035 0134720 \0 \0 u 212 304 002 001 \n 304 002 001 \n 240 233 304 004 0134740 A 355 \0 ( 017 240 240 232 240 n 240 j 017 247 240 227 0134760 304 004 \a Z 004 335 017 262 223 301 [ T h e i 0135000 n t e g r a t i o n o f m a 0135020 t h e m a t i c a l c o n t e 0135040 n t i n t o a T i o g a 0135060 m u l t i m e d i a d o c u m 0135100 e n t i s a c c o m p l i s 0135120 h e d b y 226 017 241 017 262 223 240 k 017 365 0135140 304 004 037 026 \0 \r 212 304 002 001 \n 304 002 001 \n 240 0135160 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 0135200 004 022 W 020 \f 017 262 223 301 h d e f i n i 0135220 n g a m a t h e m a t i c a 0135240 l o b j e c t c l a s s t 0135260 o T i o g a . T h e c l 0135300 a s s s p e c i f i c a t i o 0135320 n i n c l u d e s ( C e d a 0135340 r ) p r o c e d u r e s t h 0135360 a t 226 017 241 017 262 223 240 k 017 365 304 004 J 203 0135400 \0 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 0135420 240 240 232 240 n 240 j 017 247 240 227 304 004 002 315 001 0135440 355 017 262 223 301 d r e t u r n a b 0135460 o u n d i n g b o x f o r 0135500 l a y o u t f o r m a t t i n 0135520 g , a n d t h a t p a i n 0135540 t t h e o b j e c t i n t 0135560 o a g i v e n i m a g i n 0135600 g c o n t e x t . 226 017 241 017 262 223 0135620 240 k 017 365 304 006 \0 311 247 \0 \0 Y 212 304 002 001 0135640 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 0135660 j 017 247 240 227 304 004 004 235 002 242 017 262 223 301 Y 0135700 T h u s t h e C a m i n o R 0135720 e a l D O C c o m p o n e n 0135740 t ( T i o g a ) r e l i e s 0135760 o n i t s D I S P c o m 0136000 p o n e n t ( M e d d l e ) 0136020 t o f o r m a t 226 017 241 017 262 223 240 0136040 k 017 365 304 004 S 267 \0 & 212 304 002 001 \n 304 002 0136060 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 0136100 240 227 304 004 020 322 \a 257 017 262 223 301 ] m a t 0136120 h e m a t i c a l n o t a t i 0136140 o n . T h e f o r m a t t 0136160 e d m a t h e m a t i c s m 0136200 a y a p p e a r e i t h e r 0136220 a s i n - l i n e e x p r 0136240 e s s i o n s o r 226 017 241 017 262 223 0136260 240 k 017 365 304 004 | # \0 : 212 304 002 001 \n 304 0136300 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0136320 247 240 227 304 004 \n 224 004 211 017 262 223 301 \ d i 0136340 s p l a y e d n o t a t i o n 0136360 , b o t h o f w h i c h 0136400 o c c u r i n t h i s p a 0136420 p e r . C u r r e n t l y 0136440 T i o g a v i e w s a m a 0136460 t h e m a t i c a l 226 017 241 017 262 223 0136500 240 k 017 365 304 004 U . \0 ) 212 304 002 001 \n 304 0136520 002 001 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 0136540 247 240 227 304 004 004 177 003 i 017 262 223 301 g e x 0136560 p r e s s i o n i n a d o 0136600 c u m e n t a s a s i n g 0136620 l e , d e c o r a t e d , c 0136640 h a r a c t e r , s o e x p 0136660 r e s s i o n s c a n b e 0136700 T i o g a s e l e c t i o n s 0136720 j u s t 226 017 241 017 262 223 240 k 017 365 304 0136740 004 ~ 357 \0 ? 212 304 002 001 \n 304 002 001 \n 240 233 0136760 021 Z 017 240 240 232 240 n 240 j 017 247 240 227 304 004 0137000 \a 027 005 8 017 262 223 301 d l i k e a n 0137020 y o t h e r c h a r a c t e 0137040 r . P u t t i n g t h i s 0137060 a n o t h e r w a y , m a 0137100 t h e m a t i c a l e x p r e 0137120 s s i o n s i n T i o g a 0137140 d o c u m e n t s a r e 226 017 241 0137160 017 262 223 240 k 017 365 304 006 001 I 347 \0 \0 251 212 0137200 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 0137220 240 n 240 j 017 247 240 227 304 004 034 237 032 005 017 262 0137240 223 301 h c u r r e n t l y t r e 0137260 a t e d a s i n d i v i s i 0137300 b l e u n i t s : t h e y 0137320 c a n b e m o v e d a r o 0137340 u n d w i t h i n t h e d 0137360 o c u m e n t j u s t l i k 0137400 e t e x t , b u t 226 017 241 017 262 0137420 223 240 k 017 365 304 006 \0 263 } \0 \0 _ 212 017 247 0137440 240 227 301 J t h e r e i s n o 0137460 w a y t o g e t a t t h 0137500 e i r i n s i d e s w h i l 0137520 e t h e y r e s i d e i n 0137540 t h e d o c u m e n t . 226 304 0137560 004 020 k \0 ( 304 004 n 301 \0 = 212 304 002 001 \n 0137600 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 232 0137620 240 n 240 j 017 247 240 227 304 004 006 v 004 3 017 262 0137640 223 301 \ T h u s m a t h e m a t 0137660 i c a l e x p r e s s i o n s 0137700 i n a T i o g a d o c u 0137720 m e n t c a n n o t c u r r 0137740 e n t l y b e e d i t e d 0137760 " i n p l a c e " , b u t 226 0140000 017 241 017 262 223 240 k 017 365 304 006 \0 201 267 \0 \0 0140020 J 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 017 240 0140040 240 232 240 n 240 j 017 247 240 227 304 004 002 \v 001 220 0140060 017 262 223 301 c m u s t b e e x t 0140100 r a c t e d i n t o a C a 0140120 m i n o R e a l t o o l , e 0140140 d i t e d t h e r e , a n d 0140160 r e i n s e r t e d i n t o 0140200 t h e d o c u m e n t . 0140220 H o w e v e r , 226 017 241 017 262 223 240 k 0140240 017 365 304 004 e i \0 < 212 304 002 001 \n 304 002 001 0140260 \n 240 233 021 Z 017 240 240 232 240 n 240 j 017 247 240 0140300 227 304 004 \t Q \b 206 017 262 223 301 g t h e 0140320 e x p r e s s i o n e v a l u 0140340 a t i o n o p e r a t i o n s 0140360 d e s c r i b e d i n s e 0140400 c t i o n 4 b e l o w , t 0140420 h a t a r e p a r t o f 0140440 t h e C a m i n o R e a l t 0140460 o o l 226 017 241 017 262 223 240 k 017 365 304 004 p 0140500 K \0 E 212 304 002 001 \n 304 002 001 \n 240 233 021 Z 0140520 017 240 240 232 240 n 240 j 017 247 240 227 304 004 \b 341 0140540 \a 2 017 262 223 301 d i n t e r f a c e 0140560 , c a n o p e r a t e e q 0140600 u a l l y w e l l o n T i 0140620 o g a s e l e c t i o n s a 0140640 n d C a m i n o R e a l s e 0140660 l e c t i o n s . T h u s 0140700 c o m p u t a t i o n 226 017 241 017 262 0140720 223 240 k 017 365 304 006 \0 210 ! \0 \0 W 212 304 002 0140740 001 \n 304 002 001 \n 240 233 021 Z 017 240 240 232 240 n 0140760 240 j 017 247 240 227 304 004 006 005 003 = 017 262 223 301 0141000 [ o n e x p r e s s i o n s 0141020 i n d o c u m e n t s c a n 0141040 b e p e r f o r m e d b y 0141060 s i m p l y p o i n t i n g 0141100 a t t h e m i n t h e 0141120 d o c u m e n t a n d 226 017 241 017 0141140 262 223 240 k 017 365 304 006 \0 345 315 \0 \0 231 212 017 0141160 247 240 227 301 4 i n v o k i n g t h 0141200 e d e s i r e d a c t i o n 0141220 s i n t h e C a m i n o R 0141240 e a l t o o l . 226 017 365 304 006 \0 310 0141260 e \0 \0 224 212 305 005 X e r o x 305 \n P r 0141300 e s s F o n t s 305 016 T i m e s R 0141320 o m a n - B R R 017 243 241 033 240 223 304 004 0141340 \t i \0 310 240 244 240 224 017 253 225 017 253 240 227 301 0141360 . 4 . C a m i n o R e a l 0141400 a s a p r o t o t y p e S 0141420 M S : C o m p u t a t i o n 226 0141440 304 004 020 k \0 ( 304 004 * 273 \0 " 212 304 002 001 0141460 \n 304 002 001 \n 240 233 304 004 A 355 \0 ( 017 240 240 0141500 232 240 n 240 j 017 247 240 227 304 004 004 234 003 S 017 0141520