Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence6A2Square

Recurrence 6 certificate: A2Square #

This compatibility module combines independently checked row and band shards for the recurrence-6 A2Square arithmetic product.

source
noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence6A2SquareRows :
Coefficient

Internal datum.

Instances For
    source
    noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence6A2SquareBands :
    Coefficient

    Internal datum.

    Instances For
      source
      theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder6Coefficient2Square_eq :
      remainder6Coefficient2Normalized * remainder6Coefficient2Normalized = remainder6Coefficient2Square