spielwiese
|
Last change
on this file since c36fda was
c36fda,
checked in by Oleksandr Motsak <motsak@…>, 10 years ago
|
|
Moved all the outdated modgen related stuff to /old_modgen/ for now
|
-
Property mode set to
100644
|
|
File size:
460 bytes
|
| Line | |
|---|
| 1 | from binding import * |
|---|
| 2 | from context import * |
|---|
| 3 | from objects import * |
|---|
| 4 | from cd import * |
|---|
| 5 | from omexceptions import * |
|---|
| 6 | |
|---|
| 7 | content=OMCD("gametheory","http://www.singular.uni-kl.de/openmath/cd") |
|---|
| 8 | implementation=OMCDImplementation(content) |
|---|
| 9 | |
|---|
| 10 | eatcake_sym=OMSymbol("eatcake", content) |
|---|
| 11 | left_wins_sym=OMSymbol("left_wins",content) |
|---|
| 12 | |
|---|
| 13 | def cake_to_OM(region_list): |
|---|
| 14 | args=[] |
|---|
| 15 | for (l,r) in region_list: |
|---|
| 16 | args.append(OMint(l)) |
|---|
| 17 | args.append(OMint(r)) |
|---|
| 18 | return OMApply(eatcake_sym,args) |
|---|
| 19 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
