The OpenMath Content Dictionaries
This repository contains the OpenMath content dictionaries.
cdcontains the actual content dictionaries, there are two kinds official and experimental ones.
cdgroupscontains the CD groups specifications.
stscontains the small type system (STS) libraries.
contribcontains the contributed CDs and and STS libraries.
lib: generates local html and other versions CDs (
libcontains the necessary scripts and resources)
.travis.yml: automates html generation and pushes them to the OpenMath Web Site (via travis).
All CD development of the OpenMath Society is channeled through this repository. The
master branch corresponds to the CDs published on the OpenMath Web site.
Contributing Content Dictionaries
The OpenMath Society is actively soliciting CD submissions in all fields of mathematics. To submit a CD make a pull request:
- Fork this repository
- develop your CDs in the fork (i.e. a file with name
- make a pull request on your fork (via the "new pull request" button under the magenta line and on this page via the green "create pull request" button.
- add the following information in the comment
- 'authors': who is responsible (other than the person submitting the pull request)
- 'purpose': why do we need these CDs
- 'description': in a nutshell, what is in the new CDs
Commenting on Content Dictionaries
Admin: publishing CDs on the OpenMath Web Site
After any edit to the CDs is pushed to the GitHub CDs repository, the html views will be rebuilt via Travis CI
and published, along with the updated CD files, on the OpenMath Web site.
The makefile supplied allows this process to be done locally if desired.
Note that you can avoid triggering a rebuild via Travis CI by starting the commit message with
To update the OpenMath Web site manually, locally run
run in the top dir, assuming that the OpenMath.github.io repository is cloned as a sibling to the CDs repository.
run automatically commits and pushes there.
However normally this is not necessary, continuous integration via Travis CI will rebuild the HTML view of all files after any commit is pushed to GitHub, and commit the resulting files to the OpenMath (GitHub) website, or send an email on failure.
This repository contains a fresh copy of the current CDs. The development history of the OpenMath CDs has been retained as part of the repository https://github.com/OpenMath/OMSVN (warning there are copies of the CDs in various places).