Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • jakob-main
  • master default
2 results
Created with Raphaël 2.2.03Jul16Aug322Oct18328Oct223Aug5Apr12Feb111094Dec27Nov31Jul25Apr4331Mar29282524232127Jan29Jul4130Jun3112Feb27Jan26Add mws_harvest.harvestjakob-mainjakob-mainSort narration.ndjsonAdd narration.ndjsonAdd metadata file\baseuri_is_deprecatedmastermastercleanup_gitignoreeliminating_input_localpaths_update_to_newest_sTeXno messageno messageupdateupdateAutomatically replace old LF symbols and delimitersOpenMath pickling of dicts and class instancesadd and use utility to register plain python functions as OMApplicationsOMPickling for None (and thus GF(n))Major simplification at the price of post processingAdded standard Python stuff to ignoreStatus of Sage float's picklingImplemented OpenMath pickling for (certain) strings, constants, and sage intsAdded openmath as dependencyPartial pickle-based OpenMath exportergenerated filesMerge branch 'master' of gl.mathhub.info:ODK/SageProof of concept conversion Sageonic OpenMath -> SageUpdated export, with categories, transitive groups, partitions, a polynomial ringupdatingAdded errors folderupdateMerge branch 'master' of gl.mathhub.info:ODK/Sageupdateupdate on trans group exportMerge branch 'master' of gl.mathhub.info:ODK/SageUpdated for more export of trans gp hierarchyAdded generated files for classesUpdated installation instructionsTypo fix in sagestypes.py; updated transitive_groups.json accordinglyVery basic setup as Python packageAdded example json output with the current exporter.Refactored the code to support harvesting classes and iterative harvestingMerge branch 'master' of gl.mathhub.info:ODK/Sage