aboutsummaryrefslogtreecommitdiff
path: root/doc/user/src/eq3.skb
blob: 50f5104c3df36389e7bfee418955390b8cf1b1a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
(p [This paragraph contains this equation: ,(eq :inline? #t '(/ alpha
beta)).  This is actually an ,(emph [inline]) equation, meaning that it
occurs within a paragraph.  Typesetting has to be adjusted
accordingly.])

(eq-display
	
   (p [This is an equation display block, within which equations can be
aligned with one another.])

   (eq :ident "eq-limit-b-over-l"
       :renderer (and %have-lout? 'lout)
       :align-with '=
       '(= (limit (/ lambda beta) 0
		  (apply IPL n k))

	   ;; non-simplified
	   (/ (expt (+ alpha beta) k)
	      (* beta
		 (sum :from (= x 0)
		      :to   (- k 1)
		      (* (combinations k x)
			 (expt beta (- k 1 x))
			 (expt alpha x)))))))

   [This equation can be simplified as follows:]

   (eq :ident "eq-limit-b-over-l-simplified"
       :renderer (and %have-lout? 'lout)
       :align-with '=
       '(= ;; simplified
	   (/ (expt (+ alpha beta) k)
	      (- (expt (+ alpha beta) k)
		 (expt alpha k)))
	
	   (limit (/ lambda beta) 0
		  (apply IPL n k)))))