ginac.cfg: Added configuration for GiNaC (ref. https://www.ginac.de/ )

This commit is contained in:
orbitcowboy 2020-12-28 17:38:11 +01:00
parent 53734a3da1
commit 826609ad95
2 changed files with 12849 additions and 1 deletions

View File

@ -129,7 +129,7 @@
<optional>
<attribute name="type">
<data type="string">
<param name="pattern">([a-zA-Z_][a-zA-Z_0-9]*[ ])*([a-zA-Z_][a-zA-Z_0-9]*::)*([a-zA-Z_][a-zA-Z_0-9]*([ ]?[*&amp;])*)+</param>
<param name="pattern">([a-zA-Z_][a-zA-Z_0-9:]*[ ])*([a-zA-Z_][a-zA-Z_0-9]*::)*([a-zA-Z_][a-zA-Z_0-9]*([ ]?[*&amp;])*)+</param>
</data>
</attribute>
</optional>

12848
cfg/ginac.cfg Normal file

File diff suppressed because it is too large Load Diff