D.14 Miscellaneous libraries
D.14.1 phindex_lib
User manual for
Singular
version 3-1-5, Jul 2012, generated by
texi2html
.