Skip to main content
Springer Nature Link
Log in

The algebraic constructor CAC: computing in construction-defined domains

  • Conference paper
  • First Online:
Design and Implementation of Symbolic Computation Systems (DISCO 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 722))

  • 211 Accesses

Abstract

We present a symbolic computation program which is able to build new algebraic domains. Many domains in commutative algebra can be built from the ring of integers by applying the constructors of Direct Sum, Polynomial Algebra, Fraction Ring, Quotient Ring. Certain standard arithmetic operations for the elements and ideals of such rings are defined by the system automatically.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Buchberger, B.: Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory. CAMP. Publ. No. 83-29.0 November 1983

    Google Scholar 

  2. Chmutov, S.V., Gaydar, E.A., Ignatovich, I.M., Kozadoy, V.F., Nemytykh, A.P., Pinchuk, V.A.: Implementation of the Symbol Analytic Transformations Language FLAC. Lect. Notes in Comp. Sci., 429 (1990) 276–277

    Google Scholar 

  3. Davenport, J.H., Trager, B.M.: SCRATCHPAD's View of Algebra I: Commutative Algebra. Lect. Notes in Comp. Sci. 429 (1990) 40–54

    Google Scholar 

  4. Jenks, R.D., Sutor, R.S., et al.: Axiom, the Scientific Computation System. Springer-Verlag, New York-Heidelberg-Berlin (1992).

    Google Scholar 

  5. Kandri-Rody, A., Kapur, D.: Computing Gröbner basis of a polynomial ideal over a Euclidean domain. J. of Symbolic Computation 6 (1988) 37–57

    Google Scholar 

  6. Kistlerov, V.L.: Design Principles of the Computer Algebra Language FLAC. Preprint of the Institute for Control Science (in Russian) (1987) Moscow

    Google Scholar 

  7. Meshveliani, S.D.: CAC, the Commutative Algebra Constructor. User's Manual. PSI, Pereslavl-Zalessky (1992)

    Google Scholar 

  8. Meshveliani, S.D.: FLAC. Functional Language For Algebraic Computations. Short Manual. Manuscript, PSI, Pereslavl-Zalessky (1992)

    Google Scholar 

  9. Turchin, V.F.: Refal-5, Programming Guide and Reference Manual. New England Publishing Co., Holyoke, 1989

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Program Systems Institute, 152140, Pereslavl-Zalessky, Russia

    Serge D. Meshveliani

Authors
  1. Serge D. Meshveliani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfonso Miola

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Meshveliani, S.D. (1993). The algebraic constructor CAC: computing in construction-defined domains. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1993. Lecture Notes in Computer Science, vol 722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013189

Download citation

  • DOI: https://doi.org/10.1007/BFb0013189

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57235-0

  • Online ISBN: 978-3-540-47985-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics