Commit 76760b27 authored by Florian Rabe's avatar Florian Rabe

no message

parent c58f3555
Pipeline #433 failed with stages
in 5 seconds
......@@ -16,77 +16,34 @@ theory Convenient =
include ur:?PLF ❙
include MitM:Foundation?Math ❙
theory PythonBasicTypes : ?Convenient =
python_type : type ❙
pyMMT : python_type ⟶ type ❙
pysequence : python_type ⟶ python_type ❙
pystr : python_type ❙
pyint : python_type ❙
pyfloat : python_type ❙
pytype : python_type ❙
pylist : python_type ❙
pydict: python_type❙
theory PythonFunction : ?Convenient =
include ?PythonBasicTypes ❙
pyfunction : python_type ⟶ type ❙
pyfunction_type : python_type ⟶ python_type ⟶ python_type ❘ # 1 ==> 2 ❙
magic_function : python_type ⟶ type ❙
theory PythonClass : ?Convenient =
include ?PythonBasicTypes ❙
theory PythonClassTheory =
// superclasses : list (pyMMT pyclass) ❙
// every python class has a list of superclasses ❙
docstring : pyMMT pystr ❙
name : pyMMT pystr ❙
// methods : list pyMMT pyfunction ❙
// every python class has a list of methods, which are functions ❙
pyclass : Mod PythonClassTheory ❙
theory PythonUnknownType : ?Convenient =
include ?PythonBasicTypes ❙
pyunknown : python_type ❙
theory Python : ?Convenient =
// types❙
python_type : type ❙
str : python_type❙
int : python_type❙
float : python_type❙
bool : python_type❙
Tuple : python_type❙
List : python_type❙
Dict : python_type❙
None : python_type❙
Fun : python_type❙
Type : python_type❙
// object constructors ❙
python_obj : type ❙
false : python_obj❙
true : python_obj❙
tuple : python_obj❙
list : python_obj❙
// dict takes arguments of the form tuple(key,value) ❙
dict : python_obj❙
none : python_obj❙
theory Python : ?Convenient =
include ?PythonBasicTypes ❙
include ?PythonFunction ❙
include ?PythonClass ❙
include ?PythonUnknownType ❙
theory Sage : ?Python =
sage_type : type ❙
sageMMT : sage_type ⟶ type ❙
sagepy : sage_type ⟶ python_type❙
sageMMT : sage_type ⟶ type ❙
sagepy : sage_type ⟶ python_type❙
theory group.FiniteGroup : ?Sage =
theory PermutationGroup_generic : ?Sage =
include ?group.FiniteGroup ❙
init: pyfunction (pyunknown ==> pyunknown) ❙
// def __init__(self, gens=None, gap_group=None, canonicalize=True, domain=None, category=None): ❙
theory CachedRepresentation : ?Sage =
theory PermutationGroup_unique : ?Sage =
include ?CachedRepresentation ❙
include ?PermutationGroup_generic ❙
theory TransitiveGroup : ?Sage =
include ?PermutationGroup_unique ❙
init: magic_function (pyunknown ==> pyunknown) ❙
init2 : type ❘ = ((pyMMT pyunknown) ⟶ pyMMT pyunknown) ❙
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment