dnl into a generic directory like /usr/local/include/. Instead, one should put
dnl them into a subdirectory. GiNaC does it, NTL does it. Unfortunately, CLN
dnl doesn't do so but some people choose to do it by hand. In these cases we
dnl into a generic directory like /usr/local/include/. Instead, one should put
dnl them into a subdirectory. GiNaC does it, NTL does it. Unfortunately, CLN
dnl doesn't do so but some people choose to do it by hand. In these cases we