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

SCM Repository

[diderot] View of /trunk/doc/report/types.tex
ViewVC logotype

View of /trunk/doc/report/types.tex

Parent Directory Parent Directory | Revision Log Revision Log

Revision 101 - (download) (as text) (annotate)
Fri May 28 15:16:21 2010 UTC (10 years, 2 months ago) by jhr
File size: 1283 byte(s)
  Working on report
%!TEX root = report.tex

The grammar of Diderot types is as follows:

\section{Value types}
Diderot supports four types of concrete values: booleans, integers, strings, and tensors.
The grammar of these types is

The tensor type \mbox{\kw{tensor}\kw{[}$d_1,\ldots{},d_n$\kw{]}} is the of type order-$n$ tensors
with shape $d_1,\ldots{},d_n$.
Tensors include scalars (order-0) and vectors (order-1).
Because these types are frequently used, Diderot supports the following predefined type definitions:
    \kw{real} & \texttt{\kw{tensor}\kw{[}\kw{]}} \\
    \kw{vec2} & \texttt{\kw{tensor}\kw{[}2\kw{]}} \\
    \kw{vec3} & \texttt{\kw{tensor}\kw{[}3\kw{]}} \\
    \kw{vec4} & \texttt{\kw{tensor}\kw{[}4\kw{]}}



Kernels are abstract types that represent the \emph{convolution kernels} used
to reconstruct continuous fields from image data.
The syntax of a kernel type is \mbox{\kw{kernel}\kw{\#}$k$}, where
$k \geq 0$ gives the number of levels of differentiation supported by the

ViewVC Help
Powered by ViewVC 1.0.0