Skip to main content
SpringerLink
Log in

Algebraic Structures as Typed Objects

  • Conference paper
Computer Algebra in Scientific Computing (CASC 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6885))

Included in the following conference series:

Abstract

Following the research direction of strongly typed, generic, object oriented computer algebra software, we examine the modeling of algebraic structures as typed objects in this paper. We discuss the design and implementation of algebraic and transcendental extension fields together with the modeling of real algebraic and complex algebraic extension fields. We will show that the modeling of the relation between algebraic and real algebraic extension fields using the delegation design concept has advantages over the modeling as sub-types using sub-class implementation. We further present a summary of design problems, which we have encountered so far with our implementation in Java and present possible solutions in Scala.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kredel, H., Jolly, R.: Generic, type-safe and object oriented computer algebra software. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2010. LNCS, vol. 6244, pp. 162–177. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Watt, S.: Aldor. In: Computer Algebra Handbook, pp. 265–270. Springer, Heidelberg (2003)

    Google Scholar 

  3. Odersky, M.: The Scala programming language. Technical report (2003-2011), http://www.scala-lang.org/ (accessed June 2011)

  4. Jenks, R., Sutor, R. (eds.): Axiom The Scientific Computation System. Springer, Heidelberg (1992)

    MATH  Google Scholar 

  5. Rubio, J., Sergeraert, F.: Constructive algebraic topology. Bulletin des Sciences Mathematiques 126(5), 389–412 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  6. Calmet, J., Seiler, W.M.: Computer algebra and field theories. Mathematics and Computers in Simulation 45, 33–37 (1998)

    Article  MATH  Google Scholar 

  7. Drescher, K.: MuPAD multi processing algebra data tool - Axioms, Categories and Domains. Technical report, Manuscript available via Citeseer (1995), http://www2.math.uni-paderborn.de/

  8. Mechveliani, S.: DoCon - The Algebraic Domain Constructor. Technical report (2007), http://botik.ru/pub/local/Mechveliani/docon/

  9. Maza, M.M., Stephenson, B., Watt, S.M., Xie, Y.: Multiprocessed parallelism support in ALDOR on SMPs and multicores. In: PASCO, pp. 60–68 (2007)

    Google Scholar 

  10. Taboada, G., Tourino, J., Doallo, R.: Java for high performance computing: Assessment of current research and practice. In: Proc. PPPJ 2009, pp. 30–39. ACM, New York (2009)

    Google Scholar 

  11. Kredel, H.: The Java algebra system (JAS). Technical report (since 2000), http://krum.rz.uni-mannheim.de/jas/

  12. Kredel, H.: Evaluation of a java computer algebra system. In: Kapur, D. (ed.) ASCM 2007. LNCS (LNAI), vol. 5081, pp. 121–138. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Kredel, H.: On a Java Computer Algebra System, its performance and applications. Science of Computer Programming 70(2-3), 185–207 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995); Entwurfsmuster, Addison-Wesley, Deutsch (1996)

    Google Scholar 

  15. Grabmaier, J., Kaltofen, E., Weispfenning, V. (eds.): Computer Algebra Handbook. Springer, Heidelberg (2003)

    Google Scholar 

  16. Jython Developers: Jython implementation of the high-level, dynamic, object-oriented language Python written in 100% pure Java. Technical report (1997-2011), http://www.jython.org/ (accessed June 2011)

  17. JRuby Developers: JRuby a Java powered Ruby implementation. Technical report (2003-2011), http://jruby.org/ (accessed June 2011)

  18. Dragan, L., Watt, S.: Type specialization in aldor. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2010. LNCS, vol. 6244, pp. 73–84. Springer, Heidelberg (2010)

    Google Scholar 

  19. Odersky, M., Cremet, V., Röckl, C., Zenger, M.: A nominal theory of objects with dependent types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 303–329. Springer, Heidelberg (2003)

    Google Scholar 

  20. Jolly, R.: Object Scala found - a JSR223-compliant version of the Scala interpreter. In: Scala Days 2011 (to appear, 2011)

    Google Scholar 

  21. Becker, T., Weispfenning, V.: Gröbner Bases - A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics. Springer, Heidelberg (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IT-Center, University of Mannheim, Germany

    Heinz Kredel

  2. Databeans, Paris, France

    Raphael Jolly

Authors
  1. Heinz Kredel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raphael Jolly
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory of Information Technologies (LIT), Joint Institute for Nuclear Research (JINR), 141980, Dubna, Russia

    Vladimir P. Gerdt

  2. Institut für Mathematik, Universität Kassel, Heinrich-Plett-Straße 40, 34132, Kassel, Germany

    Wolfram Koepf

  3. Institut für Informatik, Lehrstuhl für Effiziente Algorithmen, Technische Universität München, Boltzmannstraße 3, 85748, Garching, Germany

    Ernst W. Mayr

  4. Institute of Theoretical and Applied Mechanics, Russian Academy of Sciences, Novosibirsk, 630090, Russia

    Evgenii V. Vorozhtsov

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kredel, H., Jolly, R. (2011). Algebraic Structures as Typed Objects. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2011. Lecture Notes in Computer Science, vol 6885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23568-9_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23568-9_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23567-2

  • Online ISBN: 978-3-642-23568-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation