Changes

Jump to navigation Jump to search

Z3 Language Tests (view source)

Revision as of 11:58, 25 April 2016

1 byte added , 11:58, 25 April 2016

→‎Conditional Matrix Projection

Line 377: Line 377:

a=[1*(a+b); 2;[3,4+34]; 3]; |a|; |10|

a=[1*(a+b); 2;[3,4+34]; 3]; |a|; |10|

−

PMT(~~100000~~,~~44%~~,40)

+

PMT(4%, 12, 100000)

a=FOR(PMT, 100000,41% ,1..12)

a=FOR(PMT, 100000,41% ,1..12)

Administrators, writer

3,314

edits

Retrieved from "http://wiki.zcubes.com/Special:MobileDiff/203846"