Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/charisee/src/compiler/gen/opt/test-rules
ViewVC logotype

View of /branches/charisee/src/compiler/gen/opt/test-rules

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2377 - (download) (annotate)
Mon Jun 3 19:41:56 2013 UTC (8 years, 3 months ago) by jhr
File size: 443 byte(s)
  Create new branch for Charisee's Einstein stuff
// some test rules

ProbeField(AddField(F,G),x)         => AddField(ProbeField(F,x), ProbeField(G,x));
ProbeField(SubField(F,G),x)         => SubField(ProbeField(F,x), ProbeField(G,x));
ProbeField(DotField (F,G),x)        => DotField(ProbeField(F,x), ProbeField(G,x));
ProbeField(ScaleField(s,F),x)       => ScaleField(s,ProbeField(F,x));
DiffField(DotField(F,G))            => AddField(DotField(DiffField(F),G), DotField(F, DiffField (G)));


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0