Sage

Ordering

Visibility

case class Axiom(name: String) extends Product with Serializable
Created by raupi on 02.06.16.
case class ParsedCategory(n: String, implied: List[String], axioms: List[String], structure: List[String], doc: String, mmt: String, gap: String, elem_methods: (String, List[SageMethod]), morph_methods: (String, List[SageMethod]), parent_methods: (String, List[SageMethod]), subcategory_methods: (String, List[SageMethod])) extends SageObject with Product with Serializable
case class ParsedClass(n: String, doc: String, implied: List[String], methods: List[SageMethod]) extends SageObject with Product with Serializable
class Plugin extends api.frontend.Plugin
case class SageFunction(n: String, doc: String, arity: Int, tp: String) extends SageObject with Product with Serializable
class SageImporter extends Importer
case class SageMethod(name: String, doc: String, arity: Int, tp: String) extends Product with Serializable
sealed abstract class SageObject extends AnyRef
class SageSystem extends VREWithAlignmentAndSCSCP
external computation provided by SageMath
class SageTranslator extends AnyRef
case class Structure(name: String) extends Product with Serializable

Packages