The SAC-1 system: An introduction and survey

  title={The SAC-1 system: An introduction and survey},
  author={G. Collins},
  booktitle={SYMSAC '71},
  • G. Collins
  • Published in SYMSAC '71 1971
  • Computer Science
  • SAC-1 is a program system for performing operations on multivariate polynomials and rational functions with infinite-precision coefficients. It is programmed, with the exception of a few simple primitives, in ASA Fortran. As a result the system is extremely accessible, portable, easy to learn, and indeed has been implemented at more than 20 institutions. The SAC-1 system's range of programmed capabilities is exceptionally broad, including, besides the usual operations, polynomial greatest… CONTINUE READING
    61 Citations
    Computer Algebra Systems
    • 63
    • PDF
    The Exact Solution of Linear Equations with Rational Function Coefficients
    • 12
    On Computing the Exact Determinant of Matrices with Polynomial Entries
    • 45
    • David R. Müsse
    • 2014
    • PDF
    The calculation of multivariate polynomial resultants
    • 8
    A New Approach to the Symbolic Factorization of Multivariate Polynomials
    • 4
    On the Efficiency of a Polynomial Irreducibility Test
    • D. Musser
    • Mathematics, Computer Science
    • JACM
    • 1978
    • 26