Duplication · openai/NavierStokesAndEuler

Duplication Overall

8% duplication:

545,965 cleaned lines of cleaned code (without empty lines, comments, and frequently duplicated constructs such as imports)
46,905 duplicated lines

3,366 duplicates

dependency graphs: 2D graph | 2D graph (with duplicates)... | 3D graph | 3D graph (with duplicates)...

Duplication per Extension

Duplication per Component (primary)

Duplication Between Components (50+ lines)

flowchart TB
    n0["ComparatorChallenges"]
    n1["NavierStokes"]
    n2["Euler"]
    n0 ---|"404"| n1
    n0 ---|"240"| n2
    classDef default fill:#00b2ee,stroke:#ffffff,color:#000000;
    classDef highlighted fill:#00b2ee,stroke:#ffffff,color:#000000;
    linkStyle 0 stroke:#DC143CFF,stroke-width:10px
    linkStyle 1 stroke:#DC143CA5,stroke-width:5px

Download: Mermaid (.mmd) (open online Mermaid editor)

2D force graph | 3D force graph

Show more details on duplication between components...

From Component --> To Component	Duplicated Lines	File Pairs	Details
ComparatorChallenges (52%) --> NavierStokes (<1%)	404	2 file pairs	details...
ComparatorChallenges (31%) --> Euler (<1%)	240	3 file pairs	details...

Longest Duplicates

The list of 50 longest duplicates.

See data for all 3,366 duplicates...

Size	#	Folders	Files	Lines	Code
4706	x 2	NavierStokes NavierStokes	lean CorrectionInitialization.lean CorrectionInitializationNoOptions.lean	47:5333 (94%) 58:5344 (94%)	view
281	x 2	NavierStokes NavierStokes	lean DiagonalJetBounds.lean DiagonalJetBoundsNoOptions.lean	18:324 (95%) 32:338 (92%)	view
208	x 2	NavierStokes NavierStokes	lean CorrectionInitialization.lean CorrectionInitializationNoOptions.lean	5332:5560 (4%) 5343:5571 (4%)	view
178	x 2	ComparatorChallenges NavierStokes	lean NavierStokes.lean ComparatorDefinitions.lean	58:269 (76%) 32:243 (88%)	view
103	x 2	Euler Euler	lean GevreyGeneratingDerivatives.lean GevreyGeneratingDerivativesNoOptions....	14:126 (90%) 35:147 (78%)	view
101	x 2	Euler Euler	lean ParentGeometryForwardChoice.lean ParentGeometryForwardChoiceNoOptions....	13:135 (91%) 38:160 (77%)	view
86	x 2	NavierStokes NavierStokes	lean CrossBasedMeanComposition.lean SignedMeanGain.lean	159:244 (12%) 989:1074 (7%)	view
83	x 2	Euler Euler	lean BaseFirstPacketChoice.lean BaseFirstPacketChoiceNoOptions.lean	13:108 (90%) 49:144 (68%)	view
77	x 2	Euler Euler	lean LpCylinderCoefficientTime.lean LpCylinderCoefficientTimeInvestigatio...	16:105 (87%) 57:146 (64%)	view
75	x 2	NavierStokes NavierStokes	lean CorrectionStep.lean SignedMeanGain.lean	64:149 (<1%) 22:107 (6%)	view
72	x 2	Euler Euler	lean BaseInductionStage.lean BaseInductionStageNoOptions.lean	23:94 (77%) 49:120 (63%)	view
71	x 2	Euler Euler	lean PacketPhysicalCoefficients.lean PacketShearMotion.lean	59:129 (52%) 32:102 (72%)	view
71	x 2	NavierStokes NavierStokes	lean GermCandidateAssembly.lean MixedCandidateWitness.lean	193:263 (24%) 71:141 (50%)	view
68	x 2	Euler Euler	lean PacketPhysicalNeighbor.lean PacketPhysicalStage.lean	82:149 (44%) 77:144 (47%)	view
66	x 2	Euler Euler	lean ParentGeometryJoinedChoice.lean ParentGeometryJoinedChoiceInvestigati...	13:91 (88%) 49:127 (64%)	view
66	x 2	Euler Euler	lean PacketForwardOutputCosts.lean PacketInitializedOutputCosts.lean	58:125 (56%) 97:163 (44%)	view
60	x 2	Euler Euler	lean PacketPhysicalNeighbor.lean PacketPhysicalPropagator.lean	90:149 (39%) 74:133 (33%)	view
60	x 2	Euler Euler	lean PacketPhysicalPropagator.lean PacketPhysicalStage.lean	74:133 (33%) 85:144 (41%)	view
59	x 2	NavierStokes NavierStokes	lean ActualParticularDynamics.lean ActualParticularDynamicsNoOptions.lean	715:773 (3%) 82:140 (46%)	view
56	x 2	NavierStokes NavierStokes	lean PhysicalMeanJetBounds.lean SharpMeanJetBounds.lean	631:686 (6%) 161:216 (19%)	view
53	x 2	NavierStokes NavierStokes	lean CorrectionStep.lean HarmonicResidual.lean	253:309 (<1%) 601:657 (3%)	view
51	x 2	Euler Euler	lean MeanSourcePressureSobolev.lean MeanSourceTimeSobolev.lean	21:73 (48%) 20:72 (46%)	view
49	x 2	NavierStokes NavierStokes	lean MeanLocalDefectBounds.lean MovingMomentBounds.lean	190:242 (16%) 256:308 (14%)	view
47	x 2	NavierStokes NavierStokes	lean CorrectionStep.lean CorrectionStep.lean	7728:7774 (<1%) 8269:8315 (<1%)	view
47	x 2	Euler Euler	lean MeanPacketEnvelopeBounds.lean MeanPacketEnvelopeBoundsNoOptions.lean	52:99 (51%) 70:117 (44%)	view
47	x 2	ComparatorChallenges Euler	lean Euler.lean SolutionDefinitions.lean	109:162 (30%) 82:135 (43%)	view
43	x 2	Euler Euler	lean MeanSourceStrongSobolev.lean MeanSourceTimeSobolev.lean	25:69 (56%) 28:72 (39%)	view
43	x 2	Euler Euler	lean MeanSourcePressureSobolev.lean MeanSourceStrongSobolev.lean	29:73 (40%) 25:69 (56%)	view
42	x 2	NavierStokes NavierStokes	lean MixedCandidateAssembly.lean MixedCandidateWitness.lean	161:202 (21%) 102:143 (29%)	view
42	x 2	Euler Euler	lean MeanPressureSobolev.lean MeanStrongSobolev.lean	63:104 (39%) 68:109 (37%)	view
42	x 2	NavierStokes NavierStokes	lean CorrectionStep.lean CrossBasedMeanComposition.lean	8513:8554 (<1%) 432:473 (6%)	view
42	x 2	NavierStokes NavierStokes	lean PhysicalMeanJetBounds.lean SharpMeanJetBounds.lean	154:195 (5%) 96:137 (14%)	view
42	x 2	NavierStokes NavierStokes	lean GenericSummationRealization.lean GenericSupportLocalSummation.lean	87:128 (33%) 118:159 (27%)	view
41	x 2	Euler Euler	lean PacketShiftArithmetic.lean PacketShiftArithmeticNoOptions.lean	8:58 (91%) 21:71 (73%)	view
40	x 2	Euler Euler	lean PDEEnergyLimit.lean PDESubintervalEnergyLimit.lean	37:76 (43%) 42:81 (36%)	view
40	x 2	NavierStokes NavierStokes	lean GermCandidateAssembly.lean MixedCandidateAssembly.lean	224:263 (14%) 161:200 (20%)	view
39	x 2	Euler Euler	lean CylinderDirichletPhysicalBounds.lean CylinderDirichletTimeBounds.lean	16:63 (32%) 15:61 (26%)	view
38	x 2	NavierStokes NavierStokes	lean CorrectionInitialization.lean CorrectionInitializationNoOptions.lean	1:40 (<1%) 1:40 (<1%)	view
37	x 2	Euler Euler	lean GeneralCylinderAlgebra.lean H5CylinderAlgebra.lean	124:160 (15%) 46:82 (27%)	view
36	x 2	NavierStokes NavierStokes	lean LocalizedWaveBounds.lean PeriodizedWaveBounds.lean	42:78 (2%) 378:414 (2%)	view
35	x 2	ComparatorChallenges Euler	lean Euler.lean SolutionDefinitions.lean	37:81 (23%) 36:80 (32%)	view
34	x 2	NavierStokes NavierStokes	lean ParticularWaveBounds.lean PrimaryPulseBounds.lean	75:108 (1%) 195:228 (1%)	view
33	x 2	Euler Euler	lean MetricRootLimit.lean WeightedRootLimit.lean	36:68 (28%) 18:50 (37%)	view
33	x 2	NavierStokes NavierStokes	lean ActualParticularDynamics.lean ActualParticularDynamicsNoOptions.lean	276:308 (2%) 48:80 (25%)	view
33	x 2	NavierStokes NavierStokes	lean CorrectionStep.lean CrossBasedMeanComposition.lean	7742:7774 (<1%) 296:328 (4%)	view
33	x 2	NavierStokes NavierStokes	lean CorrectionStep.lean CrossBasedMeanComposition.lean	8283:8315 (<1%) 296:328 (4%)	view
33	x 2	Euler Euler	lean PacketForwardUniformFlow.lean PacketInitializedUniformFlow.lean	190:222 (14%) 193:225 (14%)	view
32	x 2	NavierStokes NavierStokes	lean ExponentialMomentMatrix.lean PowerMomentMatrix.lean	79:110 (28%) 268:299 (11%)	view
32	x 2	NavierStokes NavierStokes	lean ModulatedCone.lean ModulatedProfileJetRates.lean	1415:1446 (2%) 348:379 (7%)	view
31	x 2	Euler Euler	lean BaseFirstPacketEvolution.lean BaseFirstPacketEvolutionNoOptions.lean	26:58 (27%) 59:91 (22%)	view

Most Frequent Duplicates

The list of 50 most frequently found duplicates.

Size	#	Folders	Files	Lines	Code
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean ...	87:92 (5%) 56:61 (4%) 94:99 (4%) 33:38 (14%) 45:50 (8%) 39:44 (4%) 34:39 (4%) 92:97 (3%) 106:111 (4%) 52:57 (6%) ...	view
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean ...	90:95 (5%) 59:64 (4%) 97:102 (4%) 36:41 (14%) 48:53 (8%) 42:47 (4%) 37:42 (4%) 95:100 (3%) 109:114 (4%) 55:60 (6%) ...	view
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketInitialPolynomialBounds.lean PacketInitializedPhysicalFieldsChoice... PacketExactGlobalChoice.lean PacketInitializedPhysicalChoice.lean PacketInitializedChildBounds.lean PacketInitializedUniformBounds.lean PacketInitializedUniformBudget.lean PacketInitializedUniformChild.lean PacketUniformInitialBounds.lean PacketInitializedHessianChoice.lean ...	31:36 (12%) 22:27 (6%) 23:28 (6%) 23:28 (7%) 27:32 (6%) 34:39 (7%) 21:26 (9%) 26:31 (5%) 21:26 (6%) 19:24 (9%) ...	view
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean ...	84:89 (5%) 53:58 (4%) 91:96 (4%) 30:35 (14%) 42:47 (8%) 36:41 (4%) 31:36 (4%) 89:94 (3%) 103:108 (4%) 49:54 (6%) ...	view
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean ...	85:90 (5%) 54:59 (4%) 92:97 (4%) 31:36 (14%) 43:48 (8%) 37:42 (4%) 32:37 (4%) 90:95 (3%) 104:109 (4%) 50:55 (6%) ...	view
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean ...	89:94 (5%) 58:63 (4%) 96:101 (4%) 35:40 (14%) 47:52 (8%) 41:46 (4%) 36:41 (4%) 94:99 (3%) 108:113 (4%) 54:59 (6%) ...	view
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean ...	88:93 (5%) 57:62 (4%) 95:100 (4%) 34:39 (14%) 46:51 (8%) 40:45 (4%) 35:40 (4%) 93:98 (3%) 107:112 (4%) 53:58 (6%) ...	view
6	x 15	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean ...	86:91 (5%) 55:60 (4%) 93:98 (4%) 32:37 (14%) 44:49 (8%) 38:43 (4%) 33:38 (4%) 91:96 (3%) 105:110 (4%) 51:56 (6%) ...	view
6	x 14	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes ...	lean BaseChartJets.lean BaseRadialJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean BaseRadialJets.lean ...	451:456 (<1%) 226:231 (1%) 187:192 (1%) 279:284 (1%) 293:298 (1%) 317:322 (1%) 334:339 (1%) 351:356 (1%) 370:375 (1%) 241:246 (1%) ...	view
6	x 13	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactGlobalChoice.lean PacketInitializedPhysicalChoice.lean PacketInitializedChildBounds.lean PacketInitializedUniformBounds.lean PacketInitializedUniformBudget.lean PacketInitializedUniformChild.lean PacketInitializedHessianChoice.lean PacketInitializedUniformFlow.lean PacketInitializedFlowAndShear.lean PacketInitializedPhysicalFieldsChoice... ...	24:29 (6%) 24:29 (7%) 28:33 (6%) 35:40 (7%) 22:27 (9%) 27:32 (5%) 20:25 (9%) 28:33 (2%) 33:38 (2%) 23:28 (6%) ...	view
6	x 13	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketForwardExactPressureError.lean PacketForwardInitializedCorrectionDat... PacketForwardPressureRemainder.lean PacketForwardInitializedProfiles.lean PacketForwardInitializedTimeBounds.lean PacketForwardInitializedAllOrderBudge... PacketForwardPressureBudgets.lean PacketForwardHessianError.lean PacketForwardGlobalShear.lean PacketForwardRemainder.lean ...	36:41 (10%) 42:47 (9%) 93:98 (4%) 29:34 (12%) 49:54 (6%) 26:31 (5%) 110:115 (2%) 53:58 (4%) 32:37 (4%) 55:60 (5%) ...	view
6	x 13	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean DriftCorrectionMildEnergy.lean GlobalGevreyCorrection.lean CorrectionEnergyBootstrap.lean GevreyFamilyCompactness.lean PartialCorrectionBootstrap.lean DriftGevreyInviscidEnergyCompactness.... DriftPartialCorrectionBootstrap.lean DriftGlobalGevreyCorrection.lean ViscousCorrectionFamily.lean DriftCorrectionBootstrap.lean ...	25:30 (8%) 24:29 (8%) 30:35 (6%) 20:25 (15%) 23:28 (9%) 30:35 (6%) 24:29 (9%) 25:30 (8%) 22:27 (12%) 24:29 (6%) ...	view
6	x 13	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketForwardExactPressureError.lean PacketForwardInitializedCorrectionDat... PacketForwardPressureRemainder.lean PacketForwardInitializedProfiles.lean PacketForwardInitializedTimeBounds.lean PacketForwardInitializedAllOrderBudge... PacketForwardPressureBudgets.lean PacketForwardHessianError.lean PacketForwardGlobalShear.lean PacketForwardRemainder.lean ...	37:42 (10%) 43:48 (9%) 94:99 (4%) 30:35 (12%) 50:55 (6%) 27:32 (5%) 111:116 (2%) 54:59 (4%) 33:38 (4%) 56:61 (5%) ...	view
6	x 12	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketForwardExactPressureError.lean PacketForwardInitializedCorrectionDat... PacketForwardPressureRemainder.lean PacketForwardInitializedProfiles.lean PacketForwardInitializedTimeBounds.lean PacketForwardInitializedAllOrderBudge... PacketForwardPressureBudgets.lean PacketForwardHessianError.lean PacketForwardGlobalShear.lean PacketForwardRemainder.lean ...	39:44 (10%) 45:50 (9%) 96:101 (4%) 32:37 (12%) 52:57 (6%) 29:34 (5%) 113:118 (2%) 56:61 (4%) 35:40 (4%) 58:63 (5%) ...	view
6	x 12	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketForwardExactPressureError.lean PacketForwardInitializedCorrectionDat... PacketForwardPressureRemainder.lean PacketForwardInitializedProfiles.lean PacketForwardInitializedTimeBounds.lean PacketForwardInitializedAllOrderBudge... PacketForwardPressureBudgets.lean PacketForwardHessianError.lean PacketForwardGlobalShear.lean PacketForwardRemainder.lean ...	40:45 (10%) 46:51 (9%) 97:102 (4%) 33:38 (12%) 53:58 (6%) 30:35 (5%) 114:119 (2%) 57:62 (4%) 36:41 (4%) 59:64 (5%) ...	view
6	x 12	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketForwardExactPressureError.lean PacketForwardInitializedCorrectionDat... PacketForwardPressureRemainder.lean PacketForwardInitializedProfiles.lean PacketForwardInitializedTimeBounds.lean PacketForwardInitializedAllOrderBudge... PacketForwardPressureBudgets.lean PacketForwardHessianError.lean PacketForwardGlobalShear.lean PacketForwardRemainder.lean ...	38:43 (10%) 44:49 (9%) 95:100 (4%) 31:36 (12%) 51:56 (6%) 28:33 (5%) 112:117 (2%) 55:60 (4%) 34:39 (4%) 57:62 (5%) ...	view
6	x 12	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes ...	lean BaseChartJets.lean BaseRadialJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean AllBandBaseJets.lean BaseRadialJets.lean BaseRadialJets.lean ...	450:455 (<1%) 225:230 (1%) 186:191 (1%) 278:283 (1%) 292:297 (1%) 316:321 (1%) 333:338 (1%) 350:355 (1%) 240:245 (1%) 277:282 (1%) ...	view
6	x 12	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean DriftCorrectionMildEnergy.lean GlobalGevreyCorrection.lean CorrectionEnergyBootstrap.lean PartialCorrectionBootstrap.lean DriftGevreyInviscidEnergyCompactness.... DriftPartialCorrectionBootstrap.lean DriftGlobalGevreyCorrection.lean ViscousCorrectionFamily.lean DriftCorrectionBootstrap.lean CorrectionMildEnergy.lean ...	26:31 (8%) 25:30 (8%) 31:36 (6%) 24:29 (9%) 31:36 (6%) 25:30 (9%) 26:31 (8%) 23:28 (12%) 25:30 (6%) 35:40 (7%) ...	view
6	x 12	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketForwardExactPressureError.lean PacketForwardInitializedCorrectionDat... PacketForwardPressureRemainder.lean PacketForwardInitializedAllOrderBudge... PacketForwardPressureBudgets.lean PacketForwardHessianError.lean PacketForwardGlobalShear.lean PacketForwardRemainder.lean PacketForwardInitializedSpatialBudget... PacketForwardInitializedBounds.lean ...	35:40 (10%) 41:46 (9%) 92:97 (4%) 25:30 (5%) 109:114 (2%) 52:57 (4%) 31:36 (4%) 54:59 (5%) 35:40 (5%) 32:37 (8%) ...	view
6	x 11	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean CorrectionLimitDerivative.lean CorrectionLimitEquation.lean CorrectionLimitPathDerivative.lean InviscidCorrectionRestriction.lean CorrectionEnergyRestriction.lean CorrectionLowerData.lean InviscidCorrectionCompatibility.lean CorrectionSourceRestriction.lean CorrectionSourceRestriction.lean CorrectionEnergyRestriction.lean ...	28:33 (13%) 35:40 (9%) 29:34 (15%) 19:24 (17%) 19:24 (9%) 68:73 (8%) 19:24 (13%) 32:37 (8%) 55:60 (8%) 39:44 (9%) ...	view
6	x 11	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean CorrectionLimitDerivative.lean CorrectionLimitEquation.lean CorrectionLimitPathDerivative.lean InviscidCorrectionRestriction.lean CorrectionEnergyRestriction.lean CorrectionLowerData.lean InviscidCorrectionCompatibility.lean CorrectionSourceRestriction.lean CorrectionSourceRestriction.lean CorrectionEnergyRestriction.lean ...	29:34 (13%) 36:41 (9%) 30:35 (15%) 20:25 (17%) 20:25 (9%) 69:74 (8%) 20:25 (13%) 33:38 (8%) 56:61 (8%) 40:45 (9%) ...	view
6	x 11	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean MeanGramTranslation.lean MeanTranslatedInverse.lean MeanFixedSpaceInverse.lean MeanFixedSobolevGevrey.lean MeanSourceOperatorRegularity.lean MeanFixedReflection.lean MeanFixedTranslation.lean MeanOperatorReflection.lean MeanSourceFixedInverse.lean MeanTranslatedGevrey.lean ...	19:24 (4%) 24:29 (6%) 24:29 (3%) 28:33 (3%) 26:31 (8%) 22:27 (4%) 22:27 (4%) 23:28 (12%) 24:29 (6%) 26:31 (5%) ...	view
6	x 11	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketInitialPolynomialBounds.lean PacketInitializedPhysicalFieldsChoice... PacketExactGlobalChoice.lean PacketInitializedPhysicalChoice.lean PacketUniformInitialBounds.lean PacketInitializedUniformBounds.lean PacketInitializedCorrectionChoice.lean PacketInitializedPointwiseChoice.lean PacketInitializedCorrectionEstimateCh... PacketInitializedHessianChoice.lean ...	29:34 (12%) 20:25 (6%) 21:26 (6%) 21:26 (7%) 19:24 (6%) 32:37 (7%) 20:25 (9%) 19:24 (5%) 19:24 (4%) 17:22 (9%) ...	view
6	x 11	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketInitialPolynomialBounds.lean PacketInitializedPhysicalFieldsChoice... PacketExactGlobalChoice.lean PacketInitializedPhysicalChoice.lean PacketUniformInitialBounds.lean PacketInitializedUniformBounds.lean PacketInitializedCorrectionChoice.lean PacketInitializedPointwiseChoice.lean PacketInitializedCorrectionEstimateCh... PacketInitializedHessianChoice.lean ...	28:33 (12%) 19:24 (6%) 20:25 (6%) 20:25 (7%) 18:23 (6%) 31:36 (7%) 19:24 (9%) 18:23 (5%) 18:23 (4%) 16:21 (9%) ...	view
6	x 11	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketInitialPolynomialBounds.lean PacketInitializedPhysicalFieldsChoice... PacketExactGlobalChoice.lean PacketInitializedPhysicalChoice.lean PacketUniformInitialBounds.lean PacketInitializedUniformBounds.lean PacketInitializedCorrectionChoice.lean PacketInitializedPointwiseChoice.lean PacketInitializedCorrectionEstimateCh... PacketInitializedHessianChoice.lean ...	30:35 (12%) 21:26 (6%) 22:27 (6%) 22:27 (7%) 20:25 (6%) 33:38 (7%) 21:26 (9%) 20:25 (5%) 20:25 (4%) 18:23 (9%) ...	view
6	x 11	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler ...	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedInitial.lean PacketInitializedProfiles.lean PacketInitializedCorrectionData.lean PacketExactPressureError.lean PacketInitializedTimeBounds.lean PacketInitializedSpatialBudget.lean PacketInitializedPressureRemainder.lean PacketInitializedRemainder.lean ...	83:88 (5%) 52:57 (4%) 90:95 (4%) 29:34 (14%) 41:46 (8%) 102:107 (4%) 48:53 (6%) 35:40 (5%) 92:97 (4%) 88:93 (3%) ...	view
6	x 10	Euler Euler Euler Euler Euler Euler Euler Euler Euler Euler	lean PacketExactGlobalChoice.lean PacketInitializedPhysicalChoice.lean PacketUniformInitialBounds.lean PacketInitializedUniformBounds.lean PacketInitializedCorrectionChoice.lean PacketInitializedPointwiseChoice.lean PacketInitializedCorrectionEstimateCh... PacketInitializedHessianChoice.lean PacketInitializedPhysicalFieldsChoice... PacketInitializedUniformBudget.lean	18:24 (6%) 18:24 (7%) 16:22 (6%) 29:35 (7%) 17:23 (9%) 16:22 (5%) 16:22 (4%) 14:20 (9%) 17:23 (6%) 16:22 (9%)	view
6	x 9	Euler Euler Euler Euler Euler Euler Euler Euler Euler	lean PacketExactShearError.lean PacketInitializedHessianError.lean PacketInitializedCorrectionData.lean PacketInitializedPressureBudgets.lean PacketExactGlobalShear.lean PacketInitializedRemainder.lean PacketInitializedTimeBounds.lean PacketInitializedBounds.lean PacketInitializedProfiles.lean	91:97 (5%) 60:66 (4%) 49:55 (8%) 43:49 (4%) 38:44 (4%) 96:102 (3%) 56:62 (6%) 49:55 (6%) 37:43 (14%)	view
6	x 8	Euler Euler Euler Euler Euler Euler Euler Euler	lean DriftGevreyInviscidEnergyCompactness.... DriftPartialCorrectionBootstrap.lean DriftGlobalGevreyCorrection.lean ViscousCorrectionFamily.lean GlobalGevreyCorrection.lean PartialCorrectionBootstrap.lean GevreyInviscidEnergyCompactness.lean DriftViscousCorrectionFamily.lean	29:34 (6%) 23:28 (9%) 24:29 (8%) 21:26 (12%) 23:28 (8%) 22:27 (9%) 29:34 (6%) 21:26 (12%)	view
6	x 8	Euler Euler Euler Euler Euler Euler Euler Euler	lean PacketForwardInitializedCorrectionEst... PacketForwardUniformBudget.lean PacketForwardInitializedChildShear.lean PacketForwardInitializedCorrectionCho... PacketForwardInitializedFlowAndShear.... PacketForwardUniformChild.lean PacketForwardUniformFlow.lean PacketForwardInitializedFlowBounds.lean	23:28 (5%) 22:27 (5%) 26:31 (6%) 22:27 (8%) 27:32 (5%) 25:30 (5%) 26:31 (2%) 31:36 (3%)	view
6	x 8	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes	lean ActualSignedCoherence.lean ActualSignedPotentialCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedPotentialCoherence.lean	298:303 (1%) 234:239 (1%) 373:378 (1%) 471:476 (1%) 487:492 (1%) 525:530 (1%) 561:566 (1%) 327:332 (1%)	view
6	x 8	Euler Euler Euler Euler Euler Euler Euler Euler	lean PacketForwardExactPressureError.lean PacketForwardInitializedCorrectionDat... PacketForwardPressureRemainder.lean PacketForwardHessianError.lean PacketForwardRemainder.lean PacketForwardInitializedSpatialBudget... PacketForwardInitializedBounds.lean PacketForwardInitializedTimeBounds.lean	34:39 (10%) 40:45 (9%) 91:96 (4%) 51:56 (4%) 53:58 (5%) 34:39 (5%) 31:36 (8%) 47:52 (6%)	view
6	x 8	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes	lean ActualSignedCoherence.lean ActualSignedPotentialCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedCoherence.lean ActualSignedPotentialCoherence.lean	297:302 (1%) 233:238 (1%) 372:377 (1%) 470:475 (1%) 486:491 (1%) 524:529 (1%) 560:565 (1%) 326:331 (1%)	view
6	x 7	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes	lean BaseChartJets.lean BaseRadialJets.lean AllBandBaseJets.lean BaseRadialJets.lean BaseRadialJets.lean BaseRadialJets.lean BaseRadialJets.lean	452:457 (<1%) 227:232 (1%) 352:357 (1%) 242:247 (1%) 279:284 (1%) 297:302 (1%) 315:320 (1%)	view
6	x 7	Euler Euler Euler Euler Euler Euler Euler	lean PacketInitializedAllOrderBudget.lean PacketInitializedCorrectionData.lean PacketInitializedCorrectionNorms.lean PacketInitializedSolenoidal.lean PacketInitializedSpatialBudget.lean PacketInitializedBounds.lean PacketInitializedTimeBounds.lean	37:42 (5%) 16:21 (8%) 17:22 (7%) 14:19 (13%) 17:22 (5%) 17:22 (6%) 21:26 (6%)	view
6	x 7	Euler Euler Euler Euler Euler Euler Euler	lean TransverseEndpointCoordinates.lean TransverseFixedSpaceInverse.lean FixedEndpointStrong.lean TransverseHistoryBounds.lean TransverseEndpointDifference.lean TransverseEndpointMomentum.lean TransverseHistoryLipschitz.lean	29:35 (3%) 21:27 (4%) 27:33 (3%) 25:31 (4%) 24:30 (3%) 22:28 (4%) 50:56 (7%)	view
6	x 7	Euler Euler Euler Euler Euler Euler Euler	lean MeanSourceSobolev.lean MeanSourceTimeSobolev.lean MeanSourceStrongSobolev.lean MeanSourceFixedInverse.lean MeanSourcePressureSobolev.lean MeanSourceGevrey.lean MeanSourceSpatialRegularity.lean	27:32 (6%) 33:38 (5%) 30:35 (7%) 32:37 (6%) 34:39 (5%) 47:52 (5%) 29:34 (4%)	view
6	x 7	Euler Euler Euler Euler Euler Euler Euler	lean PacketJoinedSourcePiola.lean PacketJoinedSourceSolenoidal.lean PacketJoinedSourceEquations.lean PacketJoinedResidualFields.lean PacketJoinedSourceConstraints.lean PacketJoinedSourceRegularity.lean PacketJoinedSourceProfiles.lean	14:19 (9%) 14:19 (8%) 13:18 (4%) 13:18 (10%) 13:18 (5%) 13:18 (7%) 16:21 (11%)	view
6	x 7	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes	lean ActualCurrentWaveSupport.lean ActualCurrentWaveSupport.lean ActualCurrentWaveSupport.lean ActualCurrentWaveSupport.lean ActualCurrentWaveSupport.lean ActualCurrentWaveSupport.lean ActualCurrentWaveSupport.lean	357:362 (<1%) 381:386 (<1%) 406:411 (<1%) 434:439 (<1%) 485:490 (<1%) 504:509 (<1%) 534:539 (<1%)	view
6	x 7	Euler Euler Euler Euler Euler Euler Euler	lean MeanSourceSobolev.lean MeanSourceTimeSobolev.lean MeanSourceStrongSobolev.lean MeanSourceFixedInverse.lean MeanSourcePressureSobolev.lean MeanSourceGevrey.lean MeanSourceSpatialRegularity.lean	28:33 (6%) 34:39 (5%) 31:36 (7%) 33:38 (6%) 35:40 (5%) 48:53 (5%) 30:35 (4%)	view
6	x 7	Euler Euler Euler Euler Euler Euler Euler	lean DriftCorrectionForcing.lean GevreyPressureShifted.lean SobolevDriftTransport.lean DriftPreservingTransport.lean GevreyPressureComplete.lean GevreyPressureComplete.lean GevreyPressureShifted.lean	44:49 (3%) 35:40 (5%) 54:59 (7%) 54:59 (7%) 30:35 (7%) 69:74 (7%) 78:83 (5%)	view
6	x 7	Euler Euler Euler Euler Euler Euler Euler	lean MeanSourceSobolev.lean MeanSourceTimeSobolev.lean MeanSourceStrongSobolev.lean MeanSourceFixedInverse.lean MeanSourcePressureSobolev.lean MeanSourceGevrey.lean MeanSourceSpatialRegularity.lean	29:34 (6%) 35:40 (5%) 32:37 (7%) 34:39 (6%) 36:41 (5%) 49:54 (5%) 31:36 (4%)	view
6	x 6	Euler Euler Euler Euler Euler Euler	lean PacketInitializedCanonicalRadius.lean PacketInitializedUniformCosts.lean PacketInitializedParameterBounds.lean PacketInitializedOutputCosts.lean PacketInitializedRadius.lean PacketInitializedRadiusPolynomial.lean	16:21 (8%) 46:51 (7%) 30:35 (7%) 58:63 (4%) 16:21 (12%) 528:533 (1%)	view
6	x 6	Euler Euler Euler Euler Euler Euler	lean PacketJoinedSourcePiola.lean PacketJoinedSourceSolenoidal.lean PacketJoinedSourceEquations.lean PacketJoinedSourceRegularity.lean PacketJoinedSourceResidual.lean PacketJoinedResidualFields.lean	12:18 (9%) 12:18 (8%) 11:17 (4%) 11:17 (7%) 15:21 (8%) 11:17 (10%)	view
6	x 6	Euler Euler Euler Euler Euler Euler	lean TransverseEndpointDifferentiation.lean TransverseEndpointEquation.lean TransverseEndpointDifferentiation.lean TransverseEndpointDifferentiation.lean TransverseEndpointEquation.lean TransverseEndpointEquation.lean	82:87 (4%) 40:45 (3%) 106:111 (4%) 136:141 (4%) 90:95 (3%) 114:119 (3%)	view
6	x 6	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes	lean ActualSignedGaussian.lean ActualSignedOutputBounds.lean ActualSignedStageControls.lean ActualSignedUnmaskedBounds.lean ActualSignedStageControls.lean ActualSignedOutputBounds.lean	280:285 (2%) 203:208 (1%) 1176:1181 (<1%) 431:436 (1%) 1344:1349 (<1%) 348:353 (1%)	view
6	x 6	Euler Euler Euler Euler Euler Euler	lean DriftGevreyInviscidEnergyCompactness.... DriftGlobalGevreyCorrection.lean ViscousCorrectionFamily.lean GevreyInviscidEnergyCompactness.lean GlobalGevreyCorrection.lean DriftViscousCorrectionFamily.lean	32:37 (6%) 27:32 (8%) 24:29 (12%) 32:37 (6%) 26:31 (8%) 24:29 (12%)	view
6	x 6	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes	lean ActualSignedGaussian.lean ActualSignedOutputBounds.lean ActualSignedStageControls.lean ActualSignedUnmaskedBounds.lean ActualSignedStageControls.lean ActualSignedOutputBounds.lean	279:284 (2%) 202:207 (1%) 1175:1180 (<1%) 430:435 (1%) 1343:1348 (<1%) 347:352 (1%)	view
6	x 6	Euler Euler Euler Euler Euler Euler	lean GevreyTransportCommutator.lean SobolevGevreyProduct.lean GevreyPressureShifted.lean DriftPreservingTransport.lean GevreyPressureTransport.lean DriftPreservingTransport.lean	80:85 (4%) 52:57 (5%) 43:48 (5%) 24:29 (7%) 74:79 (4%) 62:67 (7%)	view
6	x 6	NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes NavierStokes	lean ParticularWaveBounds.lean ParticularWaveBounds.lean ParticularWaveBounds.lean ParticularWaveBounds.lean ParticularWaveBounds.lean ParticularWaveBounds.lean	1814:1819 (<1%) 1876:1881 (<1%) 1904:1909 (<1%) 2043:2048 (<1%) 2103:2108 (<1%) 2177:2182 (<1%)	view

About This Analysis

For duplication, we look at places in code where there are 6 or more lines of code that are exactly the same.
Before duplication is calculated, the code is cleaned to remove empty lines, comments, and frequently duplicated constructs such as imports.
You should aim at having as little as possible (<5%) of duplicated code as high-level of duplication can lead to maintenance difficulties, poor factoring, and logical contradictions.

Learn more...

To learn more about duplications and techniques for eliminating duplication, Sokrates recommends the following resources:

Avoid Repetition, MartinFlower.com (IEEE Software article)
Refactoring duplicated code, sourcemaking.com
Beck Design Rules, MartinFowler.com
DRY (Don't Repeat Yourself) Principle, Wikipedia
The Cut-and-Paste Programming Software Development Anti-Pattern, sourcemaking.com
Code Smells / Duplicated Code, Jeff Atwood, codinghorror.com:

"Duplicated code is the bane of software development. Stamp out duplication whenever possible. You should always be on the lookout for more subtle cases of near-duplication, too. Don't Repeat Yourself!"

Reducing Coupling, MartinFlower.com (IEEE Software article):

"There are several ways to describe coupling, but it boils down to this: If changing one module in a program requires changing another module, then coupling exists. ... Duplication always implies coupling, because changing one piece of duplicate code implies changing the other."