1320
>Example: x->scalarproduct(vector { 0, x }, vector { x, 0 })[1]</para
1320
>Exempel: x->scalarproduct(vector { 0, x }, vector { x, 0 })[1]</para
1342
>Example: x->scalarproduct(vector { 0, x }, vector { x, 0 })[1]</para
1342
>Exempel: x->scalarproduct(vector { 0, x }, vector { x, 0 })[1]</para
1364
>Example: x->union(list { 1, 2, 3 }, list { 4, 5, 6 })[rem(floor(x), 5)+3]</para
1364
>Exempel: x->union(list { 1, 2, 3 }, list { 4, 5, 6 })[rem(floor(x), 5)+3]</para
1371
1371
><itemizedlist>
1378
>Description: For all</para
1382
>Parameters: forall(par1 : var)</para
1386
>Example: x->piecewise { forall(t:t@list { true, false, false }) ? 1, ? 0 }</para
1378
>Beskrivning: För alla</para
1382
>Parametrar: forall(par1 : var)</para
1386
>Exempel: x->piecewise { forall(t:t@list { true, false, false }) ? 1, ? 0 }</para
1393
1393
><itemizedlist>
1400
>Description: Exists</para
1404
>Parameters: exists(par1 : var)</para
1408
>Example: x->piecewise { exists(t:t@list { true, false, false }) ? 1, ? 0 }</para
1400
>Beskrivning: Finns</para
1404
>Parametrar: exists(par1 : var)</para
1408
>Exempel: x->piecewise { exists(t:t@list { true, false, false }) ? 1, ? 0 }</para
1415
1415
><itemizedlist>
1422
>Description: Applies a function to every element in a list</para
1426
>Parameters: map(par1, par2)</para
1430
>Example: x->map(x->x+x, list { 1, 2, 3, 4, 5, 6 })[rem(floor(x), 5)+3]</para
1422
>Beskrivning: Utför en funktion för varje element i en lista</para
1426
>Parametrar: map(par1, par2)</para
1430
>Exempel: x->map(x->x+x, list { 1, 2, 3, 4, 5, 6 })[rem(floor(x), 5)+3]</para
1437
1437
><itemizedlist>
1444
>Description: Removes all elements that don't fit a condition</para
1448
>Parameters: filter(par1, par2)</para
1452
>Example: x->filter(u->rem(u, 2)=0, list { 2, 4, 3, 4, 8, 6 })[rem(floor(x), 5)+3]</para
1444
>Beskrivning: Tar bort alla element som inte stämmer med ett villkor</para
1448
>Parametrar: filter(par1, par2)</para
1452
>Exempel: x->filter(u->rem(u, 2)=0, list { 2, 4, 3, 4, 8, 6 })[rem(floor(x), 5)+3]</para