FriCAS Code

Restructure modular evaluation.

Remove INDEFINTEGRAL.

use ${MKDIR_P} instead of 'mkdir -p'

Use 'sayBrightly' instead of 'sayTeX'

Change difference of interval to agree with definition as interval operation.

s/Formater/Formatter/

Remove useless conditions

bugfix subset?

Before we had:
(1) -> SI ==> Set Integer
(2) -> SSI ==> Set SI
(3) -> si:SI := set [2]
(3) {2}
(4) -> subset?(si,si)
(4) true
(5) -> ssi: SSI := set [si]
(5) {{2}}
(6) -> subset?(ssi,ssi)
(6) false

With the patch also (6) gives true.

Fix gcd failure due to bad reduction.

Make sure .spad files are correct Spad