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

SCM Repository

[diderot] Annotation of /branches/pure-cfg/test/ty-test.diderot
ViewVC logotype

Annotation of /branches/pure-cfg/test/ty-test.diderot

Parent Directory Parent Directory | Revision Log Revision Log


Revision 477 - (view) (download)

1 : jhr 472 // ty-test.diderot
2 :     //
3 :     // This file tests various typechecking rules
4 :    
5 : jhr 474 tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];
6 :     tensor[3] y = x[1,:];
7 :     tensor[2] z = x[:,0];
8 : jhr 475 tensor[3,2] m = [x[:,0], x[:,1], x[:,2]];
9 : jhr 472
10 :     image(3)[2] img1 = load("img1.nrrd");
11 :     field#2(3)[2] F = img1 (*) bspln3;
12 :     field#1(3)[2,3] dF = D F;
13 : jhr 474
14 : jhr 475 tensor[3] w = (dF @ y)[0,:];
15 : jhr 474

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