Skip to content

Instantly share code, notes, and snippets.

@bgamari

bgamari/phase0.txt

Last active January 20, 2019 23:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bgamari/b4bef5d5ab2478116cd804d6313a25d4 to your computer and use it in GitHub Desktop.
Save bgamari/b4bef5d5ab2478116cd804d6313a25d4 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
phase0.txt
quadrance_snhP
quadrance_snhP
= \ x_anez ->
foldlM'
$fMonadId
(plusDouble `cast` <Co:7>)
(D# 0.0##)
(stream
$fVectorVectorDouble
(case $WVector
(lower' x_anez)
(upper' x_anez)
(new
$fVectorVectorDouble
(unstream
$fVectorVectorDouble
(inplace
(\ @ m_adjm $dMonad_adjn eta_B1 ->
mapM
$dMonad_adjn
(let {
f1_adSO
f1_adSO = return $dMonad_adjn } in
\ x_adSP -> f1_adSO (timesDouble x_adSP x_adSP))
eta_B1)
id
(stream $fVectorVectorDouble (vector' x_anez)))))
of
{ Vector ds_ddbs ds1_ddbt ds2_ddbu ->
ds2_ddbu
}))
Raw
phase1.txt
quadrance_snhP
quadrance_snhP
= \ x_anez ->
foldlM'
$fMonadId
(plusDouble `cast` <Co:7>)
(D# 0.0##)
(stream
$fVectorVectorDouble
(case $WVector
(lower' x_anez)
(upper' x_anez)
(new
$fVectorVectorDouble
(unstream
$fVectorVectorDouble
(inplace
(\ @ m_adjm $dMonad_adjn eta_B1 ->
mapM
$dMonad_adjn
(let {
f1_adSO
f1_adSO = return $dMonad_adjn } in
\ x_adSP -> f1_adSO (timesDouble x_adSP x_adSP))
eta_B1)
id
(stream $fVectorVectorDouble (vector' x_anez)))))
of
{ Vector ds_ddbs ds1_ddbt ds2_ddbu ->
ds2_ddbu
}))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment