spielwiese
Last change
on this file since 01e2df was
01e2df,
checked in by Michael Brickenstein <bricken@…>, 19 years ago
|
*bricken: some work
git-svn-id: file:///usr/local/Singular/svn/trunk@8732 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
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.