public void 数st()
{
var dic = new Dictionary <TokenString, Morphism>()
{
{ "F".ToTokenString(), Morphism.Create(@"F\colon\encat{A}\rightarrow\encat{B}").TestSingle() }
};
var list = new List <Morphism>()
{
ToMorphismHelp(@"#1_{#2#3}", @"#1s(#2, #3)", @"#1t(#1#2, #1#3)", MorphismType.OneMorphism)
};
var func = ExtensionsInTest.CreateDefaultFunctors().ToList();
var tikz = new TikZDiagram("", -1, false, false, true, dic, list, func);
tikz.CreateMorphism(@"F_{ab}")
.TestMorphism(@"F_{ab}", @"\encat{A}(a, b)", @"\encat{B}(Fa, Fb)", MorphismType.Functor);
tikz.CreateMorphism(@"F_{ab}", @"\encat{A}(a, b)", @"\encat{B}(Fa, Fb)")
.TestMorphism(@"F_{ab}", @"\encat{A}(a, b)", @"\encat{B}(Fa, Fb)", MorphismType.Functor, true);
}
public void 数ab()
{
var dic = new Dictionary <TokenString, Morphism>();
var list = new List <Morphism>()
{
ToMorphismHelp(@"\ev", @"[#1a, #2]\otimes #1b", @"#2", MorphismType.OneMorphism)
};
var func = ExtensionsInTest.CreateDefaultFunctors().ToList();
func.Add(Functor.Create("F#1", "G#1"));
func.Add(Functor.Create("X", "Y"));
var tikz = new TikZDiagram("", -1, false, false, true, dic, list, func);
tikz.CreateMorphism(@"\ev", @"[u, v]\otimes u", @"v")
.TestMorphism(@"\ev", @"[u, v]\otimes u", @"v", MorphismType.OneMorphism, true);
tikz.CreateMorphism(@"\ev", @"[X, v]\otimes Y", @"v")
.TestMorphism(@"\ev", @"[X, v]\otimes Y", @"v", MorphismType.OneMorphism, true);
tikz.CreateMorphism(@"\ev", @"[Fu, v]\otimes Gu", @"v")
.TestMorphism(@"\ev", @"[Fu, v]\otimes Gu", @"v", MorphismType.OneMorphism, true);
}
private TikZDiagram CreateTikZDiagram(Dictionary <TokenString, Morphism> dic)
=> new TikZDiagram("", -1, false, false, true, dic, ExtensionsInTest.CreateDefaultMorphisms(), ExtensionsInTest.CreateDefaultFunctors().ToList());
public void Morphism二項演算_省略()
{
var mor1 = ToMorphismHelp(@"f", "a", "b", MorphismType.OneMorphism);
var mor2 = ToMorphismHelp(@"g", "s", "t", MorphismType.OneMorphism);
var mor3 = ToMorphismHelp(@"X", @"\test{A}", @"\test{B}", MorphismType.OneMorphism);
var mor4 = ToMorphismHelp(@"Y", @"\test{C}", @"\test{D}", MorphismType.OneMorphism);
var mor5 = ToMorphismHelp(@"\beta_i", "Fi", "Gi", MorphismType.OneMorphism);
var mor6 = ToMorphismHelp(@"\gamma_j", "Kj", "Lj", MorphismType.OneMorphism);
var mor7 = ToMorphismHelp(@"\sigma", "P", "Q", MorphismType.NaturalTransformation);
var mor8 = ToMorphismHelp(@"\tau", "R", "S", MorphismType.NaturalTransformation);
var dic = new Dictionary <TokenString, Morphism>()
{
{ mor1.Name.ToTokenString(), mor1 },
{ mor2.Name.ToTokenString(), mor2 },
{ mor3.Name.ToTokenString(), mor3 },
{ mor4.Name.ToTokenString(), mor4 },
{ mor5.Name.ToTokenString(), mor5 },
{ mor6.Name.ToTokenString(), mor6 },
{ mor7.Name.ToTokenString(), mor7 },
{ mor8.Name.ToTokenString(), mor8 },
};
var tikz = new TikZDiagram("", -1, false, true, true, dic, ExtensionsInTest.CreateDefaultMorphisms(), ExtensionsInTest.CreateDefaultFunctors().ToList());
var mor = tikz.CreateMorphism(@"f\otimes g", @"as", @"bt");
mor.TestMorphism(@"f\otimes g", @"as", @"bt", MorphismType.OneMorphism, true);
mor = tikz.CreateMorphism(@"X\otimes Y", @"(\test{A})(\test{C})", @"(\test{B})(\test{D})");
mor.TestMorphism(@"X\otimes Y", @"(\test{A})(\test{C})", @"(\test{B})(\test{D})", MorphismType.OneMorphism, true);
mor = tikz.CreateMorphism(@"\beta_i\otimes\gamma_j", @"(Fi)(Kj)", @"(Gi)(Lj)");
mor.TestMorphism(@"\beta_i\otimes\gamma_j", @"(Fi)(Kj)", @"(Gi)(Lj)", MorphismType.OneMorphism, true);
mor = tikz.CreateMorphism(@"\sigma_a\otimes\tau_b", @"(Pa)(Rb)", @"(Qa)(Sb)");
mor.TestMorphism(@"\sigma_a\otimes\tau_b", @"(Pa)(Rb)", @"(Qa)(Sb)", MorphismType.OneMorphism, true);
mor = tikz.CreateMorphism(@"(\sigma_a\otimes\tau_b)\otimes\beta_i", @"((Pa)(Rb))(Fi)", @"((Qa)(Sb))(Gi)");
mor.TestMorphism(@"(\sigma_a\otimes\tau_b)\otimes\beta_i", @"((Pa)(Rb))(Fi)", @"((Qa)(Sb))(Gi)",
MorphismType.OneMorphism, true);
mor = tikz.CreateMorphism(@"\sigma_a\otimes(\tau_b\otimes\beta_i)", @"(Pa)((Rb)(Fi))", @"(Qa)((Sb)(Gi))");
mor.TestMorphism(@"\sigma_a\otimes (\tau_b\otimes\beta_i)", @"(Pa)((Rb)(Fi))", @"(Qa)((Sb)(Gi))",
MorphismType.OneMorphism, true);
}