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

SCM Repository

[diderot] View of /branches/charisee_dev/doc/SUPPORTED-OPS
ViewVC logotype

View of /branches/charisee_dev/doc/SUPPORTED-OPS

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2948 - (download) (annotate)
Wed Mar 4 20:45:13 2015 UTC (4 years, 9 months ago) by jhr
Original Path: branches/charisee/doc/SUPPORTED-OPS
File size: 2380 byte(s)
adding operators to SUPPORTED_OPS and some code-style fixes
<, <=, >, >=
	int * int -> bool
	tensor[] * tensor[] -> bool

==, !=
	int * int -> bool
	tensor[] * tensor[] -> bool
	bool * bool -> bool
	string * string -> string

unary -
	int -> int
	tensor[sh] -> tensor[sh]
	field#k(d)[sh] -> field#k(d)[sh]

not
	bool -> bool

+, -
	int * int -> int
	tensor[sh] * tensor[sh] -> tensor[sh]
	field#k(d)[sh] * field#k(d)[sh] -> field#k(d)[sh]
	tensor[sh] * field#k(d)[sh] -> field#k(d)[sh]
	field#k(d)[sh] * tensor[sh] -> field#k(d)[sh]

*
	int * int -> int
	tensor[] * tensor[] -> tensor[]
	tensor[] * tensor[sh] -> tensor[sh]
	tensor[sh] * tensor[] -> tensor[sh]
	tensor[] * field#k(d)[sh] -> field#k(d)[sh]
	field#k(d)[sh] * tensor[] -> field#k(d)[sh]
	field#k(d)[] * field#k(d)[] -> field#k(d)[]
	field#k(d)[] * field#k(d)[sh] -> field#k(d)[sh]
	field#k(d)[sh] * field#k(d)[] -> field#k(d)[sh]

/
	int * int -> int
	tensor[] * tensor[] -> tensor[]
	tensor[sh] * tensor[] -> tensor[]
	field#k(d)[sh] * tensor[] -> field#k(d)[sh]
	field#k(d)[] * field#k(d)[] -> field#k(d)[]
	field#k(d)[sh] * field#k(d)[] -> field#k(d)[sh]

•
	tensor[sh1,d] * tensor[d,sh2] -> tensor[sh1,sh2]
	tensor[sh1,d1] * field#k(d2)[d1,sh2] -> field#k(d2)[sh1,sh2]
	field#k(d1)[sh1,d2] * tensor[d2,sh2] -> field#k(d1)[sh1,sh2]
	field#k(d1)[sh1,d2] * field#k(d1)[d2,sh2] -> field#k(d1)[sh1,sh2]

:
	tensor[sh1,d1,d2] * tensor[d1,d2,sh2] -> tensor[sh1,sh2]
	field#k(d)[sh1,d1,d2] * field#k(d)[d1,d2,sh2] -> field#k(d1)[sh1,sh2]

×
	tensor[2] * tensor[2] -> tensor[]
	tensor[3] * tensor[3] -> tensor[3]
	field#k(d)[2] * field#k(d)[2] -> tensor[]
	field#k(d)[3] * field#k(d)[3] -> field#k(d)[3]

⊗
	tensor[d1] * tensor[d2] -> tensor[d1,d2]
	field#k(d)[d1] * field#k(d)[d2] -> field#k(d)[d1,d2]  ## check this!!!

^
	tensor[] * int -> tensor[]
	tensor[] * tensor[] -> tensor[]

⊛
	image(d)[sh] * kernel#k -> field#k(d)[sh]
	kernel#k * image(d)[sh] -> field#k(d)[sh]

∇×
	field#k+1(2)[2] -> field#k(2)[]
	field#k+1(3)[3] -> field#k(3)[3]

∇•
	field#k+1(d1)[sh,d2] -> field#k(d)

∇
	field#k+1(d)[] -> field#k(d)[d]

∇⊗
	field#k+1(d)[sh] -> field#k(d)[sh,d]

|()|
	tensor[sh] -> tensor[]
	field#k(d)[sh] -> field#k(d)[]  ## check this!!!

normalize
	tensor[d] -> tensor[d]
	field#k(d)[sh] -> field#k(d)[sh]  ## check this!!!

trace
	tensor[d,d] -> tensor[]
	field#k(d1)[sh,d2,d2] -> field#k(d1)[sh]

transpose

modulate
	tensor[d] * tensor[d] -> tensor[d]

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