PartitionedRegression.Build.ScalarEvaluation

1module PartitionedRegression.Build.ScalarEvaluation
2
3import Platform.Linux.Nvidia.LinearStep
4import Platform.Linux.Nvidia.ProgramPlan
5import Platform.Linux.Nvidia.PlanHost
6import Platform.RunPod.Nvidia.SM86
7import Model.Word64
8
9-- Both regression decompositions use the checked one-output, one-input
10-- evaluator with a zero device update rate. Their global updates stay explicit
11-- in the learner. Target facts come only from the selected profile.
12def regressionScalarPlan =
13  (lambda unrestricted profile : (family RunPodSM86TargetProfile) .
14    (nvidiaLinearStepPlan
15      1
16      1
17      0
18      runPodSM86QMDArchitecture
19      runPodSM86ComputeClass
20      runPodSM86SPAVersion
21      runPodSM86QMDSlotBytes
22      (runPodSM86ProductIdentityPadded profile)
23      nvidiaPlanHostAmpere580
24      (modelWord64Natural (runPodSM86TotalVideoMemory profile))))