NuML Language Reference - Revision history

Rsalter: /* Semantic Rules for #= */

2026-04-03T20:13:02Z

Semantic Rules for #=

← Older revision		Revision as of 20:13, 3 April 2026
Line 120:		Line 120:
	* Constants on the RHS are only used with parameters and assign values to them.		* Constants on the RHS are only used with parameters and assign values to them.
	* Primops on the RHS are only used with component IDs and define attributes such as legend, max value, etc.		* Primops on the RHS are only used with component IDs and define attributes such as legend, max value, etc.
	* Arrays on either side "multiply out" to as sequence of statements and are there for convenience.		* Arrays on either side "multiply out" to a sequence of statements and are there for convenience.

	== Primops for <code>@=</code> ==		== Primops for <code>@=</code> ==

Rsalter: /* Semantic Rules for #= */

2026-04-03T20:12:35Z

Semantic Rules for #=

← Older revision		Revision as of 20:12, 3 April 2026
Line 117:		Line 117:

	== Semantic Rules for <code>#=</code> ==		== Semantic Rules for <code>#=</code> ==
	* Identifiers on the ''LHS'' reference component IDs or parameters such as <code>dt</code>		* Identifiers on the LHS reference component IDs or parameters such as <code>dt</code>
	* Constants on the ''RHS'' are only used with parameters and assign values to them.		* Constants on the RHS are only used with parameters and assign values to them.
	* Primops on the ''RHS'' are only used with component IDs and define attributes such as legend, max value, etc.		* Primops on the RHS are only used with component IDs and define attributes such as legend, max value, etc.
	* Arrays on either side "multiply out" to as sequence of statements and are there for convenience.		* Arrays on either side "multiply out" to as sequence of statements and are there for convenience.

Rsalter: /* Semantic Rules for @= */

2026-04-03T20:11:44Z

Semantic Rules for @=

← Older revision		Revision as of 20:11, 3 April 2026
Line 85:		Line 85:
	== Semantic Rules for <code>@=</code> ==		== Semantic Rules for <code>@=</code> ==

	* <code>deriv(~~arg~~)</code> asserts a that the RHS equation is the time derivative of ~~arg~~(t)		* <code>deriv(</code>ident<code>)</code> asserts a that the RHS equation is the time derivative of ident(t)
	* <code>next(~~arg~~)</code> asserts a that the RHS equation is the next element in the time sequence ~~arg~~<sub>0</sub>, ~~arg~~<sub>1</sub>'', ...		* <code>next(</code>ident<code>)</code> asserts a that the RHS equation is the next element in the time sequence ident<sub>0</sub>, ident<sub>1</sub>'', ...
	: e.g., <code> next(X) @= X + 1</code>		: e.g., <code> next(X) @= X + 1</code>
	* <code>initial(~~arg~~)</code> asserts that the RHS is the initial value of ~~arg~~		* <code>initial(</code>ident<code>)</code> asserts that the RHS is the initial value of ident
	* <code>update(arg1, arg2, ...)</code> asserts that arg1, arg2, ... should be downloaded to the output component with ID of the RHS. The arguments should match the legend assigned to the output component		* <code>update(</code>arg1, arg2, ...<code>)</code> asserts that arg1, arg2, ... should be downloaded to the output component with ID of the RHS. The arguments should match the legend assigned to the output component

	An identifier appearing on the LHS is defined by the expression on the ''RHS''.		An identifier appearing on the LHS is defined by the expression on the ''RHS''.

Rsalter: /* Syntax Rules for @= */

2026-04-03T20:09:26Z

Syntax Rules for @=

← Older revision		Revision as of 20:09, 3 April 2026
Line 46:		Line 46:
	==Syntax Rules for <code>@=</code>==		==Syntax Rules for <code>@=</code>==

	''LHS'' can be:		LHS can be:
	:An identifier		:An identifier
	:A call expression of the form:		:A call expression of the form:
	::<code>deriv(''ident'')</code>		::<code>deriv(</code>ident<code>)</code>
	::<code>next(''ident'')</code>		::<code>next(</code>ident<code>)</code>
	::<code>initial(''ident'')</code>		::<code>initial(</code>ident</code>)</code>
	::<code>update(~~''ident<sub>1~~</~~sub~~>'', ~~''ident<sub>2</sub>''~~, ...)</code>		::<code>update(</code>ident1, ident2, ...<code>)</code>
	:these are discussed below.		:these are discussed below.

	''RHS'' can be		RHS can be
	: A computational expression when ''LHS'' is either <code>deriv</code>, <code>next</code>, <code>initial</code> or an identifier.		: A computational expression when LHS is either <code>deriv</code>, <code>next</code>, <code>initial</code> or an identifier.
	: An identifier when ''LHS'' is <code>update</code>		: An identifier when LHS is <code>update</code>

	Examples		Examples

Rsalter: /* Semantic Rules for @= */

2026-04-03T19:44:39Z

Semantic Rules for @=

← Older revision		Revision as of 19:44, 3 April 2026
Line 89:		Line 89:
	: e.g., <code> next(X) @= X + 1</code>		: e.g., <code> next(X) @= X + 1</code>
	* <code>initial(arg)</code> asserts that the RHS is the initial value of arg		* <code>initial(arg)</code> asserts that the RHS is the initial value of arg
	* <code>update(~~arg<sub>1</sub>~~, ~~arg<sub>2</sub>~~, ...)</code> asserts that ~~arg<sub>1</sub>~~, ~~arg<sub>2<sub>~~, ... should be downloaded to the output component with ID of the RHS. The arguments should match the legend assigned to the output component		* <code>update(arg1, arg2, ...)</code> asserts that arg1, arg2, ... should be downloaded to the output component with ID of the RHS. The arguments should match the legend assigned to the output component

	An identifier appearing on the LHS is defined by the expression on the ''RHS''.		An identifier appearing on the LHS is defined by the expression on the ''RHS''.

Rsalter: /* Syntax Rules for #= */

2026-04-03T19:40:54Z

Syntax Rules for #=

← Older revision		Revision as of 19:40, 3 April 2026
Line 95:		Line 95:
	== Syntax Rules for <code>#=</code> ==		== Syntax Rules for <code>#=</code> ==

	''LHS'' can be		LHS can be
	: An identifier		: An identifier
	: An array of identifiers		: An array of identifiers

	''RHS'' can be		RHS can be
	: A constant, primop, or array of primops		: A constant, primop, or array of primops

Line 105:		Line 105:
	<blockquote>		<blockquote>
	<code><br>		<code><br>
	~~mainGraph~~ #= [legend(S,I,R), title("SIR Model")]<br>		TimeGraph #= [legend(S,I,R), title("SIR Model")]<br>
	~~statsGraph~~ #= title("Infection Stats")<br>		StatGraph #= title("Infection Stats")<br>
	~~statsGraph~~ #= [statDat(I),statParam(~~Beta~~),statRuns(12),statLo(3.4),statHi(4.5)]<br>		StatGraph #= [statDat(I),statParam(beta),statRuns(12),statLo(3.4),statHi(4.5)]<br>
	Slider1 #= [legend(N),max(1000000),step(1000)]<br>		Slider1 #= [legend(N),max(1000000),step(1000)]<br>
	Slider2 #= [legend(~~Beta~~),max(10),step(0.1)]<br>		Slider2 #= [legend(beta),max(10),step(0.1)]<br>
	Slider3 #= [legend(I0),max(10),step(0.1)]<br>		Slider3 #= [legend(I0),max(10),step(0.1)]<br>
	Slider4 #= [legend(~~Sigma~~),max(10),step(0.1)];<br>		Slider4 #= [legend(sigma),max(10),step(0.1)];<br>
	[Slider5, Slider6] #= legend("");<br>		[Slider5, Slider6] #= legend("");<br>
	</code>		</code>

Rsalter: /* Semantic Rules for @= */

2026-04-03T19:39:09Z

Semantic Rules for @=

← Older revision		Revision as of 19:39, 3 April 2026
Line 85:		Line 85:
	== Semantic Rules for <code>@=</code> ==		== Semantic Rules for <code>@=</code> ==

	* <code>deriv(~~''Arg''~~)</code> asserts a that the ''RHS'' equation is the time derivative of ~~''Arg''~~(t)		* <code>deriv(arg)</code> asserts a that the RHS equation is the time derivative of arg(t)
	* <code>next(~~''Arg''~~)</code> asserts a that the ''RHS'' equation is the next element in the time sequence ~~''Arg~~<sub>0</sub>'', ~~''Arg~~<sub>1</sub>'', ...		* <code>next(arg)</code> asserts a that the RHS equation is the next element in the time sequence arg<sub>0</sub>, arg<sub>1</sub>'', ...
	: e.g., <code> next(X) @= X + 1</code>		: e.g., <code> next(X) @= X + 1</code>
	* <code>initial(~~''Arg''~~)</code> asserts that the ''RHS'' is the initial value of ~~''Arg''~~		* <code>initial(arg)</code> asserts that the RHS is the initial value of arg
	* <code>update(~~''Val~~<sub>1'', ~~''Val~~<sub>2'', ...)</code> asserts that ~~''Val~~<sub>1'', ~~''Val~~<sub>2'', ... should be downloaded to the output component with ID of the ''RHS''. The arguments should match the legend assigned to the output component		* <code>update(arg<sub>1</sub>, arg<sub>2</sub>, ...)</code> asserts that arg<sub>1</sub>, arg<sub>2<sub>, ... should be downloaded to the output component with ID of the RHS. The arguments should match the legend assigned to the output component

	An identifier appearing on the ''LHS'' is defined by the expression on the ''RHS''.		An identifier appearing on the LHS is defined by the expression on the ''RHS''.

	== Syntax Rules for <code>#=</code> ==		== Syntax Rules for <code>#=</code> ==

Rsalter: /* Primops for @# */

2026-04-01T17:53:21Z

Primops for @#

← Older revision		Revision as of 17:53, 1 April 2026
Line 184:		Line 184:
	:'''dt'''		:'''dt'''
	::Integration step size		::Integration step size
	::'''method''' ('''RK4''' or '''Euler''')		:'''method''' ('''RK4''' or '''Euler''')

	Sensitivity Analysis Platform		Sensitivity Analysis Platform

Rsalter: /* Primops for @# */

2026-04-01T17:52:58Z

Primops for @#

← Older revision		Revision as of 17:52, 1 April 2026
Line 184:		Line 184:
	:'''dt'''		:'''dt'''
	::Integration step size		::Integration step size
	:'''method''' ('''RK4''' or '''Euler''')		::'''method''' ('''RK4''' or '''Euler''')

	Sensitivity Analysis Platform		Sensitivity Analysis Platform

Rsalter at 17:52, 1 April 2026

2026-04-01T17:52:17Z

← Older revision		Revision as of 17:52, 1 April 2026
Line 68:		Line 68:
	initial(I) @= I0<br>		initial(I) @= I0<br>
	initial(R) @= 0<br><br>		initial(R) @= 0<br><br>
	update(S,I,R) @= ~~mainGraph~~<br><br>		update(S,I,R) @= TimeGraph<br><br>
	N @= Slider1<br>		N @= Slider1<br>
	beta @= Slider2<br>		beta @= Slider2<br>