axiomatic mathematics meets object oriented programming n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Axiomatic Mathematics meets Object Oriented Programming PowerPoint Presentation
Download Presentation
Axiomatic Mathematics meets Object Oriented Programming

Loading in 2 Seconds...

play fullscreen
1 / 7

Axiomatic Mathematics meets Object Oriented Programming - PowerPoint PPT Presentation


  • 120 Views
  • Uploaded on

Axiomatic Mathematics meets Object Oriented Programming. Use the GoF Mediator pattern for Implementing Abstract Mathematics. Ring. *. Ring Element. R. R[X] X:String. Polynomial. Integer. Z. Abstract Structures are modelled as abstract classes.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Axiomatic Mathematics meets Object Oriented Programming' - waseem


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
use the gof mediator pattern for implementing abstract mathematics
Use the GoF Mediator pattern for Implementing Abstract Mathematics.

Ring

*

Ring Element

R

R[X]

X:String

Polynomial

Integer

Z

abstract structures are modelled as abstract classes
Abstract Structures are modelled as abstract classes.

Abstract: An arbitrary (unspecified) ring

Ring

R

Concrete: Ring of Integers, Polynomial Rings, …

R[X]

X:String

Z

axiomatic definitions are implemented as abstract methods
Abstract:

addition

negation

multiplication

inversion

"zero"

"one"

check if zero

Not abstract:

subtraction

exponentiation

embedding of Z and Q

Check for equality

evaluation of polynomials

Axiomatic definitions are implemented as abstract methods.

Ring

Example:

the mediator pattern is used in the java com perisic ring package for
Rings, Polynomial Rings, Integers, Rational Functions, Algebraic Extensions, Cyclotomic Fields, Universal Rings, etc.

groups, metric spaces, topological spaces, group rings, etc.

The mediator pattern is used in the Java com.perisic.ring package for:

But it can be applied to any mathematical structure, such as:

further reading
Further Reading
  • The Java package com.perisic.ring is available at: http://ring.perisic.com
  • M. Conrad, T. French, Exploring the synergies between the Object-Oriented paradigm and Mathematics: A Java led approach, to appear in Int. J. Math. Educ. Sci. Technol.
  • M. Conrad, T. French, C. Maple, S. Pott, Mathematical Use Cases lead naturally to non-standard Inheritance Relationships – How to make them accessible in a mainstream language?, MASPEGHI 2004 (WS 12 of ECOOP)
contact
Marc Conrad

marc.conrad@luton.ac.uk

Tim French

tim.french@luton.ac.uk

Carsten Maple

carsten.maple@luton.ac.uk

University of Luton

Dept. of Computing and IT

Park Square

Luton LU1 3JU, UK

Cambridge

Luton

Oxford

London

Contact