Skip to content
Snippets Groups Projects
Select Git revision
  • bc6a2d3c03a98c890ecd32b4d411dd17b58f0d12
  • develop default protected
  • origin/stage/bouguettaia
  • feature/kinetic-schemes
  • feature/reconstruction
  • feature/local-dt-fsi
  • feature/composite-scheme-sources
  • feature/composite-scheme-other-fluxes
  • feature/serraille
  • feature/variational-hydro
  • feature/composite-scheme
  • hyperplastic
  • feature/polynomials
  • feature/gks
  • feature/implicit-solver-o2
  • feature/coupling_module
  • feature/implicit-solver
  • feature/merge-local-dt-fsi
  • master protected
  • feature/escobar-smoother
  • feature/hypoelasticity-clean
  • v0.5.0 protected
  • v0.4.1 protected
  • v0.4.0 protected
  • v0.3.0 protected
  • v0.2.0 protected
  • v0.1.0 protected
  • Kidder
  • v0.0.4 protected
  • v0.0.3 protected
  • v0.0.2 protected
  • v0 protected
  • v0.0.1 protected
33 results

pugs

Stephane Del Pino's avatar
Stéphane Del Pino authored
This allows to write

``
let f : R -> R^3, x -> (x, 2*x+1, -2);
R^3 x = f(2.3);
``

or even

``
let f : R -> R^3*R, x -> ((x, 2*x+1, -2), x-1);
R^3*R (x,t) = f(2.3);
``

Note that it is not completely functional since
``
let f : R -> R^3, x -> (x, 2*x+1, -2);
R^3 x = 2*f(2.3);
``
does not work!
The return type of `f(2.3)` is incorrect (should be an R^3 but
remains a `typename` which is improper for these calculations).
bc6a2d3c
History
Name Last commit Last update