Difference between revisions of "User:Infdef"
Line 27: | Line 27: | ||
label("$N_3$",(0.3516049382716049,-0.031604938271605126),SE*labelscalefactor); /* special point */ | label("$N_3$",(0.3516049382716049,-0.031604938271605126),SE*labelscalefactor); /* special point */ | ||
label("$P_5$",(-0.2686419753086419,1.1317283950617274),SE*labelscalefactor); | label("$P_5$",(-0.2686419753086419,1.1317283950617274),SE*labelscalefactor); | ||
− | draw((-0.2736629900720829,0)--(-0.2736629900720829,0.9618256431728192), linewidth( | + | draw((-0.2736629900720829,0)--(-0.2736629900720829,0.9618256431728192), linewidth(1)); /* special point */ |
label("$P_3$",(0.34765432098765425,1.0503703703703693),SE*labelscalefactor); | label("$P_3$",(0.34765432098765425,1.0503703703703693),SE*labelscalefactor); | ||
− | draw((0.4457383557765383,0)--(0.4457383557765383,0.8951632913550622), linewidth( | + | draw((0.4457383557765383,0)--(0.4457383557765383,0.8951632913550622), linewidth(1)); |
draw((-0.2736629900720829,0.9618256431728192)--(0.4457383557765383,0.8951632913550622), linewidth(1)); | draw((-0.2736629900720829,0.9618256431728192)--(0.4457383557765383,0.8951632913550622), linewidth(1)); | ||
label("$M$",(0.09876543209876541,0.8718518518518511),SE*labelscalefactor); /* special point */ | label("$M$",(0.09876543209876541,0.8718518518518511),SE*labelscalefactor); /* special point */ |
Revision as of 19:57, 10 May 2023