AlphaGitHub
Source/Systems

PartitionedRegression.CoordinateHost

systems/partitioned-regression/src/PartitionedRegression/CoordinateHost.alpha

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 338–349

chCombineArithmetic

Full file
Only the combined prediction uses this profile. Device-local products retain their explicit policy; their results enter a host binary64 combine.
338def chCombineArithmetic =
339  (constructor
340    NumericalContract
341    NumericalContractOf
342    nativeFiniteFloat64Profile
343    (constructor
344      StdList
345      StdListCons
346      (family StdNumericOperation)
347      stdOpAdd
348      (constructor StdList StdListEmpty (family StdNumericOperation)))
349    (constructor NumericalRelation NumericalExactOrder b"coordinate-prediction-add-v1"))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.