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

SCM Repository

[diderot] View of /branches/pure-cfg/doc/OPERATORS
ViewVC logotype

View of /branches/pure-cfg/doc/OPERATORS

Parent Directory Parent Directory | Revision Log Revision Log


Revision 477 - (download) (annotate)
Sat Nov 13 16:02:07 2010 UTC (9 years, 1 month ago) by jhr
File size: 528 byte(s)
  Creating a branch to explore a pure CFG IL
Type syntax

  Let T<[d1, …, dn], ty> be a tensor of order n with dimensions d1, … dn

  Let DATA_m<[d1, …, dn], ty> be a tensor dataset of m dimensions

  Let F_m<[d1, …, dn], ty> be a tensor field of m dimensions

Basic operations:

  The gradient of a scalar field

	D : F_m<[], ty> -> F_,<[m], ty>

  The Hessian of a scalar field

	D o D : F_m<[], ty> -> F_,<[m,m], ty>

  The eigenvalues of a symmetric matrix

	lambda : F_m<[d,d], ty> -> F_m<[d], ty>

Patterns:

  The eigenvalues of the Hessian

	lambda o D o D

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