help links subscribe changes refresh edit

	SandBox
SandBoxNonZeroInteger ←	↑	→ SandBoxOldFrontPage

SandBoxObserverAsIdempotent

Edit detail for SandBoxObserverAsIdempotent revision 1 of 21

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Editor: Bill Page Time: 2012/04/26 15:54:27 GMT-7
Note:

changed:
-
\begin{axiom}
B:List OrderedFreeMonoid Symbol
B:=[p,q*r]
for i in B repeat
  for j in B repeat
    output(i*j)
\end{axiom}

Patterns
\begin{axiom}
x:List Symbol
x:=[a,b,c,a,d]
p:=
patternMatch(x,p,[])

axiom

B:List OrderedFreeMonoid Symbol

Type: Void

axiom

B:=[p,q*r]

$\label{eq1}\left[ p , \:{q \ r}\right]$

(1)

Type: List(OrderedFreeMonoid?(Symbol))

axiom

for i in B repeat
  for j in B repeat
    output(i*j)

    2
   p
   p q r
   q r p
   q r q r

Type: Void

Patterns \begin{axiom} x:List Symbol x:=[a,b,c,a,d]? p:= patternMatch(x,p,[])