Installed the function IsPerfect.
Used the new function IsPerfect in IsPrimeZeroDim.
Some coments on IsPrimeZeroDim.

Explains shortly what the algorithm does.
Changed the if request and inserted witness elements.
Some smaller changes in IsPrimeZeroDim

-more local variables
-renamed the minimal polynomials and the squarefree polynomials
-deleted some lines
-used Subset to determine if I = RadicalOfIdeal( I )
Changed IsPrimaryZeroDim.

The ideal takes over the witness elements of the radical, if existent.
Declared and installed PrimaryDecompositionZeroDim.
worked on the last part of IsPrimeZeroDim
Merge pull request #4 from HemEM/master

some improvements in IsPrimeZeroDim and installed a new function PrimaryDecompositionZeroDim