Monash Examples

This collection of examples has been distributed with the Monash University Version of clp(R) [Heintze et al. 87], and its inclusion into this distribution was kindly permitted by Roland Yap.

In order to execute the examples, a small compatibility package has to be loaded first:

     clp(r) ?- use_module(library('clpqr/monash')).
     
Then, assuming you are using clp(R):
     clp(r) ?- expand, [library('clpqr/examples/monash/rkf45')], 
               noexpand.
     
     clp(r) ?- go.
     Point    0.00000 :    0.75000    0.00000
     Point    0.50000 :    0.61969    0.47793
     Point    1.00000 :    0.29417    0.81233
     Point    1.50000 :   -0.10556    0.95809
     Point    2.00000 :   -0.49076    0.93977
     Point    2.50000 :   -0.81440    0.79929
     Point    3.00000 :   -1.05440    0.57522
     
     Iteration finished
     ------------------
      439  derivative evaluations