source: git/Singular/LIB/tropical.lib @ 9e8ae12

spielwiese
Last change on this file since 9e8ae12 was 9e8ae12, checked in by Yue Ren <ren@…>, 10 years ago
chg: new version of tropical.lib by thomas
  • Property mode set to 100644
File size: 297.9 KB

HTML preview not available, since the file size exceeds 256.0 KB. Try downloading the file instead.

Note: See TracBrowser for help on using the repository browser.