spielwiese
Last change
on this file since 3c473c was
3c473c,
checked in by Kai Krüger <krueger@…>, 14 years ago
|
rename directory modules to dyn_modules
anticipating "modules" directory for cmake.
git-svn-id: file:///usr/local/Singular/svn/trunk@13033 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.