|
Computer Algebra System (CAS) is a fundamental and vital backbone inthe field of symbolic computation and automated reasoning. There aremany excellent CASs, which can provide good interface and quickcomputation for researchers. However, they are only designed tosolve some special purposes, e.g., polynomial operations orcalculation of Groebner bases, thus lead to inefficientcompatibility and cooperation. In this paper, a distributed andhybrid computing environment for computer algebra system (DHCE-CAS)has been outlined. DHCE-CAS provides high performance by expandingthe kernel library in CAS, with using external calling communicationinterface and integrating the parallel library and clustermanagement software. Each job is submitted to a queue, askedcomputational resources by slot attribute and scheduled based on itsticket value, which denote the priority of job. We test severalexamples by implementing the parallel algorithm of SuccessiveDifference Substitution for verifying the semi-definiteness ofpolynomial. |
|
Keywords:Computer Algebra System; MathematicalSoftware; Parallel Computation; Slot; Ticket |
|