Experiments with GSiril

What is GSiril

GSiril can be downloaded from Richard Smith’s website and provides a simple and fast way of proving touches. For anyone used to using MicroSiril the syntax is very similar and, in fact, GSiril offers a MicroSiril compatibility mode. I’ve been trying without much luck to get GSiril compiled on Mac OS/X 10.11 so I have been using the Windows version.

Proving some touches

1,260 Plain Bob Minor

Input

6 bells
2 extents

part1 = wb,bh, 2 h
part2 = wh,2 h

wb = b,p,s,p,p,"- s | @"
bh = p,p,s,p,b," s - | @"
wh = b,p,p,p,b,"- - | @"
h = p,p,p,p,b," - | @"
sh = p,p,p,p,s," s | @"

p = PlainBob, +2
s = PlainBob, +234
b = PlainBob, +4

PlainBob = &x16x16x16

prove "W B H | 123456",2 part1, wb, bh, h, sh, 2 part2, wh,h,sh,"$"

Output

1260 rows ending in 123456
Touch is true

5,088 Yorkshire Surprise Major

Input

8 bells

peal = 3 part

part = 2 (wh, 2h), bh, h

wh = p,p,p,b,p,p,b
m = p,p,b,p,p,p,p
mw = p,p,b,b,p,p,p
w = p,p,p,b,p,p,p
h = p,p,p,p,p,p,b
bh = p,b,p,b

p = Yorkshire, +2
b = Yorkshire, +4

Yorkshire = &-3-4-5-6-2-3-4-7

prove peal

Output

5088 rows ending in 12345678
Touch is true

240 Plain Bob Doubles

Input

5 bells
2 extents

touch = 3 part,"There are $ repeated changes."

part = b,p,p,b,p,b,p,p

p = PlainBob,+2
b = PlainBob,+4

PlainBob = &5.1.5.1.5

prove touch

Output

240 rows ending in 12345
Touch is true