{
	"cell_id": 15611848448601612261,
	"cells": [
		{
			"cell_id": 11069807106896465679,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 13772716889928113498,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\section*{Programming in Cadabra}\n\nCadabra is fully programmable in Python. At the most basic level this means that you can make functions\nwhich combine various Cadabra algorithms together, or write loops which repeat certain Cadabra algorithms.\nAt a more advanced level, you can inspect the expression tree and manipulate individual subexpressions,\nor construct expressions from elementary building blocks. "
				}
			],
			"hidden": true,
			"source": "\\section*{Programming in Cadabra}\n\nCadabra is fully programmable in Python. At the most basic level this means that you can make functions\nwhich combine various Cadabra algorithms together, or write loops which repeat certain Cadabra algorithms.\nAt a more advanced level, you can inspect the expression tree and manipulate individual subexpressions,\nor construct expressions from elementary building blocks. "
		},
		{
			"cell_id": 16380332542575924812,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 10341321852235865106,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\subsection*{Fundamental Cadabra objects: Ex and ExNode}\n\nThe two fundamental Cadabra objects are the \\verb|Ex| and the \\verb|ExNode|. An object of type \\verb|Ex| \nrepresents a mathematical expression, and is what is generated if you type a line containing \\verb|:=|, as in"
				}
			],
			"hidden": true,
			"source": "\\subsection*{Fundamental Cadabra objects: Ex and ExNode}\n\nThe two fundamental Cadabra objects are the \\verb|Ex| and the \\verb|ExNode|. An object of type \\verb|Ex| \nrepresents a mathematical expression, and is what is generated if you type a line containing \\verb|:=|, as in"
		},
		{
			"cell_id": 14618390770609029772,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 6425573256407897,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 2272933481458126939,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "A + B"
						}
					],
					"source": "\\begin{dmath*}{}A+B\\end{dmath*}"
				},
				{
					"cell_id": 14416483452317882508,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}<class 'cadabra2.Ex'>\\end{verbatim}"
				}
			],
			"source": "ex:=A+B;\ntype(ex);"
		},
		{
			"cell_id": 14138459692123482407,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 2847848244353766819,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "An object of type \\verb|ExNode| is best thought of as an iterator. It can be used to walk an expression\ntree, and modify it in place (which is somewhat different from normal Python iterators; a point we will return\nto shortly). The most trivial way to get an iterator is to call the \\verb|top| member of\nan \\verb|Ex| object; think of this as returning a pointer to the topmost node of an expression,"
				}
			],
			"hidden": true,
			"source": "An object of type \\verb|ExNode| is best thought of as an iterator. It can be used to walk an expression\ntree, and modify it in place (which is somewhat different from normal Python iterators; a point we will return\nto shortly). The most trivial way to get an iterator is to call the \\verb|top| member of\nan \\verb|Ex| object; think of this as returning a pointer to the topmost node of an expression,"
		},
		{
			"cell_id": 5475362040304825870,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 4889801859931027187,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}A + B\\end{verbatim}"
				},
				{
					"cell_id": 8111178036103804680,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}<class 'cadabra2.ExNode'>\\end{verbatim}"
				}
			],
			"source": "ex.top();\ntype(ex.top());"
		},
		{
			"cell_id": 15665387514835589348,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 11679348138325456437,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "You will also encounter \\verb|ExNode|s when you do a standard Python iteration\nover the elements of an \\verb|Ex|, as in"
				}
			],
			"hidden": true,
			"source": "You will also encounter \\verb|ExNode|s when you do a standard Python iteration\nover the elements of an \\verb|Ex|, as in"
		},
		{
			"cell_id": 17819639350499126772,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 18089991928180463935,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}<class 'cadabra2.ExNode'>\\end{verbatim}"
				},
				{
					"cell_id": 928705785378809404,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}A + B\\end{verbatim}"
				},
				{
					"cell_id": 10171488758885056085,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}<class 'cadabra2.ExNode'>\\end{verbatim}"
				},
				{
					"cell_id": 13380492898109088727,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}A\\end{verbatim}"
				},
				{
					"cell_id": 5149422238246026784,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}<class 'cadabra2.ExNode'>\\end{verbatim}"
				},
				{
					"cell_id": 3989053911783578317,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}B\\end{verbatim}"
				}
			],
			"source": "for n in ex:\n\ttype(n);\n\tdisplay(n)"
		},
		{
			"cell_id": 4137387624913381815,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 16884227773422108099,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "As you can see, this `iterates' over the elements of the expression, but in a perhaps somewhat unexpected\nway. We will discuss this in more detail in the next section. Important to remember from the example above\nis that the `pointers' to the individual elements of the expression are \\verb|ExNode| objects. \nThere are various other ways to obtain such pointers, using various types of `filtering', more on that\nbelow as well.\n\nOnce you have an \\verb|ExNode| pointing to a subexpression in an expression, you can query it further\nfor details about that subexpression. "
				}
			],
			"hidden": true,
			"source": "As you can see, this `iterates' over the elements of the expression, but in a perhaps somewhat unexpected\nway. We will discuss this in more detail in the next section. Important to remember from the example above\nis that the `pointers' to the individual elements of the expression are \\verb|ExNode| objects. \nThere are various other ways to obtain such pointers, using various types of `filtering', more on that\nbelow as well.\n\nOnce you have an \\verb|ExNode| pointing to a subexpression in an expression, you can query it further\nfor details about that subexpression. "
		},
		{
			"cell_id": 10963956834816626859,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 6445329138816839629,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 16041054156969959119,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "A_{m n}"
						}
					],
					"source": "\\begin{dmath*}{}A_{m n}\\end{dmath*}"
				},
				{
					"cell_id": 6671395703449228930,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}m\\end{verbatim}"
				},
				{
					"cell_id": 15687146476081198667,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}n\\end{verbatim}"
				}
			],
			"source": "ex:= A_{m n};\nfor i in ex.top().free_indices():\n\tdisplay(i)"
		},
		{
			"cell_id": 4019018513960059958,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 1841284369902058108,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "The example above shows how, starting from an iterator which points to the top of the expression, you can\nget a new iterator which can iterate over all free indices. "
				}
			],
			"hidden": true,
			"source": "The example above shows how, starting from an iterator which points to the top of the expression, you can\nget a new iterator which can iterate over all free indices. "
		},
		{
			"cell_id": 17357805698574501177,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 16163878881460526284,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\subsection*{ExNode and Python iterators}\n\nBefore we continue, we should make a comment on how \\verb|ExNode| objects relate to Python iterators.\nFor many purposes, \\verb|ExNode| objects behave as you expect from Python iterators: they allow you to loop over nodes of\nan \\verb|Ex| expression, you can call \\verb|next(...)| on them, and so on. However, there are some slight differences, which have to do with the fact that\nCadabra wants to give you access to the nodes of the original \\verb|Ex|, so that you can modify this original\n\\verb|Ex| in place. Consider for instance this example with a Python list of integers, with standard iterators:"
				}
			],
			"hidden": true,
			"source": "\\subsection*{ExNode and Python iterators}\n\nBefore we continue, we should make a comment on how \\verb|ExNode| objects relate to Python iterators.\nFor many purposes, \\verb|ExNode| objects behave as you expect from Python iterators: they allow you to loop over nodes of\nan \\verb|Ex| expression, you can call \\verb|next(...)| on them, and so on. However, there are some slight differences, which have to do with the fact that\nCadabra wants to give you access to the nodes of the original \\verb|Ex|, so that you can modify this original\n\\verb|Ex| in place. Consider for instance this example with a Python list of integers, with standard iterators:"
		},
		{
			"cell_id": 18379624562437637500,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 121314811918743201,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"source": "{}$\\big[$$\\verb|1|$,\\discretionary{}{}{} $\\verb|2|$,\\discretionary{}{}{} $\\verb|3|$,\\discretionary{}{}{} $\\verb|4|$,\\discretionary{}{}{} $\\verb|5|$$\\big]$"
				},
				{
					"cell_id": 17839365611770309449,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"source": "{}$\\big[$$\\verb|1|$,\\discretionary{}{}{} $\\verb|2|$,\\discretionary{}{}{} $\\verb|3|$,\\discretionary{}{}{} $\\verb|4|$,\\discretionary{}{}{} $\\verb|5|$$\\big]$"
				}
			],
			"source": "q=[1,2,3,4,5];\nfor element in q:\n   element=0\nq;"
		},
		{
			"cell_id": 8306700484487211471,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 4168922270321543427,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "It still produces the original list at the end of the day, because each \\verb|element| is a \\emph{copy} of the\nelement in the list. With \\verb|ExNode|s you can actually modify the original \\verb|Ex|, as this example shows:"
				}
			],
			"hidden": true,
			"source": "It still produces the original list at the end of the day, because each \\verb|element| is a \\emph{copy} of the\nelement in the list. With \\verb|ExNode|s you can actually modify the original \\verb|Ex|, as this example shows:"
		},
		{
			"cell_id": 4630927477786015140,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 4235260673562839613,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 8812632743831006438,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "A + B + C + D"
						}
					],
					"source": "\\begin{dmath*}{}A+B+C+D\\end{dmath*}"
				},
				{
					"cell_id": 8077598135092445731,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 54572110013314483,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "Q + Q + Q + Q"
						}
					],
					"source": "\\begin{dmath*}{}Q+Q+Q+Q\\end{dmath*}"
				}
			],
			"source": "ex:=A + B + C + D;\nfor element in ex.top().terms():\n   element.replace($Q$)\nex;"
		},
		{
			"cell_id": 4078572040632098996,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 3291457110345453070,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "In this case, \\verb|element| is not an \\verb|Ex| corresponding to each of the 5 terms, but\nrather an \\verb|ExNode|, which is more like a pointer into the \\verb|Ex| object. The \\verb|replace|\nmember function allows you to replace the building blocks of the original \\verb|ex| expression.\n\nIf you want to get a proper \\verb|Ex| object (so a \\emph{copy} of the element in the expression\nover which you are iterating), more like what you would get if iteration over Cadabra's expressions\nwas an ordinary Python iteration, then you can use \\verb|ExNode.ex()|:"
				}
			],
			"hidden": true,
			"source": "In this case, \\verb|element| is not an \\verb|Ex| corresponding to each of the 5 terms, but\nrather an \\verb|ExNode|, which is more like a pointer into the \\verb|Ex| object. The \\verb|replace|\nmember function allows you to replace the building blocks of the original \\verb|ex| expression.\n\nIf you want to get a proper \\verb|Ex| object (so a \\emph{copy} of the element in the expression\nover which you are iterating), more like what you would get if iteration over Cadabra's expressions\nwas an ordinary Python iteration, then you can use \\verb|ExNode.ex()|:"
		},
		{
			"cell_id": 13338472805876454539,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 8548759806933419273,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 12305928970509592519,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "A + 2B + 3C + 4D"
						}
					],
					"source": "\\begin{dmath*}{}A+2B+3C+4D\\end{dmath*}"
				},
				{
					"cell_id": 3046719146128378641,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 16359987555073575085,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "A + 2B + 3C + 4D"
						}
					],
					"source": "\\begin{dmath*}{}A+2B+3C+4D\\end{dmath*}"
				},
				{
					"cell_id": 13459390553453667032,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 10976535573212848309,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "3C"
						}
					],
					"source": "\\begin{dmath*}{}3C\\end{dmath*}"
				}
			],
			"source": "ex:= A + 2 B + 3 C + 4 D;\nlst=[]\nfor element in ex.top().terms():\n   lst.append( element.ex() )\nex;\nlst[2];"
		},
		{
			"cell_id": 2779093920101567345,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 9182058936686247795,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "Here the list \\verb|lst| contains copies of the individual terms of the \\verb|ex| expression.\n\nA good way to remember about this is to keep in mind that Cadabra tries its best to allow you to modify\nexpressions \\emph{in-place}. The \\verb|ExNode| iterators provide that functionality."
				}
			],
			"hidden": true,
			"source": "Here the list \\verb|lst| contains copies of the individual terms of the \\verb|ex| expression.\n\nA good way to remember about this is to keep in mind that Cadabra tries its best to allow you to modify\nexpressions \\emph{in-place}. The \\verb|ExNode| iterators provide that functionality."
		},
		{
			"cell_id": 419058726958978058,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 12917610346077137892,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\subsection*{Traversing the expression tree}\n\nThe \\verb|ExNode| iterator can be instructed to traverse expressions in various ways. The most basic\niterator is obtained by using standard Python iteration with a \\verb|for| loop,"
				}
			],
			"hidden": true,
			"source": "\\subsection*{Traversing the expression tree}\n\nThe \\verb|ExNode| iterator can be instructed to traverse expressions in various ways. The most basic\niterator is obtained by using standard Python iteration with a \\verb|for| loop,"
		},
		{
			"cell_id": 1562086486740641567,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 12410381233438750897,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 14386922931961145661,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "A + B + C_{m} D^{m}"
						}
					],
					"source": "\\begin{dmath*}{}A+B+C_{m} D^{m}\\end{dmath*}"
				}
			],
			"source": "ex:= A + B + C_{m} D^{m};"
		},
		{
			"cell_id": 15221357359172369652,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 7445041969873337852,
					"cell_origin": "server",
					"cell_type": "output",
					"source": "\\begin{verbatim}A + B + C_{m} D^{m}\nA\nB\nC_{m} D^{m}\nC_{m}\nm\nD^{m}\nm\n\\end{verbatim}"
				}
			],
			"source": "for n in ex:\n\tprint(str(n))"
		},
		{
			"cell_id": 10501994233898575362,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 704383322132262896,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "The iterator obtained in this way traverses the expression tree node by node, and when you ask it\nto print what it is pointing to, it prints the entire subtree of the node it is currently visiting.\nIf you are only interested in the name of the node, not the\nentire expression below it, you can use the \\verb|.name| member of the iterator:"
				}
			],
			"hidden": true,
			"source": "The iterator obtained in this way traverses the expression tree node by node, and when you ask it\nto print what it is pointing to, it prints the entire subtree of the node it is currently visiting.\nIf you are only interested in the name of the node, not the\nentire expression below it, you can use the \\verb|.name| member of the iterator:"
		},
		{
			"cell_id": 7114346388970120519,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 10182545959028033598,
					"cell_origin": "server",
					"cell_type": "output",
					"source": "\\begin{verbatim}\\sum\nA\nB\n\\prod\nC\nm\nD\nm\n\\end{verbatim}"
				}
			],
			"source": "for n in ex:\n\tprint(str(n.name))"
		},
		{
			"cell_id": 10210203266960726041,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 9630575658409744830,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "Often, this kind of `brute force' iteration over expression elements is not very useful. A more powerful\niterator is obtained by asking for all nodes in the subtree which have a certain name. This can be the name of \na tensor, or the name of a special node, such as a product or sum,"
				}
			],
			"hidden": true,
			"source": "Often, this kind of `brute force' iteration over expression elements is not very useful. A more powerful\niterator is obtained by asking for all nodes in the subtree which have a certain name. This can be the name of \na tensor, or the name of a special node, such as a product or sum,"
		},
		{
			"cell_id": 2424768294203788101,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 2014866901964486825,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}C_{m}\\end{verbatim}"
				}
			],
			"source": "for n in ex[\"C\"]:\n\tdisplay(n)"
		},
		{
			"cell_id": 9903842259378342150,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 9849116786585471912,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}C_{m} D^{m}\\end{verbatim}"
				}
			],
			"source": "for n in ex[\"\\\\prod\"]:\n\tdisplay(n)"
		},
		{
			"cell_id": 10588142595263796342,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 10808031586959552824,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "The above two examples used an iterator obtained directly from an \\verb|Ex| object. \nVarious ways of obtaining iterators over special nodes can be obtained by using member functions of\n\\verb|ExNode| objects themselves. So one often uses a construction in which one first asks for an iterator\nto the top of an expression, and then requests from that iterator a new one which can iterate over\nvarious special nodes. The example below obtains an iterator over all top-level terms in an expression, and\nthen loops over its values."
				}
			],
			"hidden": true,
			"source": "The above two examples used an iterator obtained directly from an \\verb|Ex| object. \nVarious ways of obtaining iterators over special nodes can be obtained by using member functions of\n\\verb|ExNode| objects themselves. So one often uses a construction in which one first asks for an iterator\nto the top of an expression, and then requests from that iterator a new one which can iterate over\nvarious special nodes. The example below obtains an iterator over all top-level terms in an expression, and\nthen loops over its values."
		},
		{
			"cell_id": 11464792304275148656,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 4394727638444626529,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}A\\end{verbatim}"
				},
				{
					"cell_id": 1554351456974996679,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}B\\end{verbatim}"
				},
				{
					"cell_id": 1396820566587439115,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}C_{m} D^{m}\\end{verbatim}"
				}
			],
			"source": "for n in ex.top().terms():\n\tdisplay(n)"
		},
		{
			"cell_id": 10977028249929669045,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 8727796298696264427,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "Two special types of iterators are those which iterate only over all arguments or only over all indices\nof a sub-expression. These are discussed in the next section."
				}
			],
			"hidden": true,
			"source": "Two special types of iterators are those which iterate only over all arguments or only over all indices\nof a sub-expression. These are discussed in the next section."
		},
		{
			"cell_id": 8386740853543185461,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 9210025781643367835,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\subsection*{Arguments and indices}\n\nThere are various ways to obtain iterators which iterate over all arguments or all indices\nof an expression. The following example, with a derivative acting on a product, prints the \nargument of the derivative as well as all free indices."
				}
			],
			"hidden": true,
			"source": "\\subsection*{Arguments and indices}\n\nThere are various ways to obtain iterators which iterate over all arguments or all indices\nof an expression. The following example, with a derivative acting on a product, prints the \nargument of the derivative as well as all free indices."
		},
		{
			"cell_id": 6168677497397138422,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 17261803845107424940,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"source": "\\begin{dmath*}{}\\text{Attached property Derivative to~}\\nabla{\\#}.\\end{dmath*}"
				},
				{
					"cell_id": 9873753640405935280,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 5436539438039946572,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "\\nabla_{m}(A^{n}_{p} V^{p})"
						}
					],
					"source": "\\begin{dmath*}{}\\nabla_{m}\\left(A^{n}\\,_{p} V^{p}\\right)\\end{dmath*}"
				}
			],
			"source": "\\nabla{#}::Derivative;\nex:= \\nabla_{m}{ A^{n}_{p} V^{p} };"
		},
		{
			"cell_id": 114405730338281393,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 15847114993895123593,
					"cell_origin": "server",
					"cell_type": "output",
					"source": "\\begin{verbatim}A^{n}_{p} V^{p}\nm\nn\n\\end{verbatim}"
				}
			],
			"source": "for nabla in ex[r'\\nabla']:\n\tfor arg in nabla.args():\n\t\tprint(str(arg))\n\tfor i in nabla.free_indices():\n\t\tprint(str(i))"
		},
		{
			"cell_id": 18169081604378372890,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 9204946542835539304,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\subsection*{Querying properties}\n\nProperties which you attach to patterns can be queried in Python, though the functionality is \nsomewhat limited. In order to query a pattern for a particular property, use the property's name\ntogether with the \\verb|get| method. An example:"
				}
			],
			"hidden": true,
			"source": "\\subsection*{Querying properties}\n\nProperties which you attach to patterns can be queried in Python, though the functionality is \nsomewhat limited. In order to query a pattern for a particular property, use the property's name\ntogether with the \\verb|get| method. An example:"
		},
		{
			"cell_id": 15511730119362410176,
			"cell_origin": "client",
			"cell_type": "input",
			"source": "A_{m n}::AntiSymmetric.\np1 = AntiSymmetric.get($A_{m n}$)"
		},
		{
			"cell_id": 8304505308961258287,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 5564478070452519183,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"source": "\\begin{dmath*}{}\\text{Property AntiSymmetric attached to~}A_{m n}.\\end{dmath*}"
				}
			],
			"source": "p1;"
		},
		{
			"cell_id": 8636929660022469751,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 8109343310411280286,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}None\\end{verbatim}"
				}
			],
			"source": "p2 = Symmetric.get($A_{m n}$)\np2;"
		},
		{
			"cell_id": 867371738363577328,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 11028315898171412377,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "Some properties, like `Weight` have an associated value. You can access these with the appropriate member function,\nso for this particular example you would do"
				}
			],
			"hidden": true,
			"source": "Some properties, like `Weight` have an associated value. You can access these with the appropriate member function,\nso for this particular example you would do"
		},
		{
			"cell_id": 8211547310713253802,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 815228937313619719,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"source": "\\begin{dmath*}{}\\text{Property Weight attached to~}x.\\end{dmath*}"
				},
				{
					"cell_id": 9075103878800686191,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}42\\end{verbatim}"
				}
			],
			"source": "x::Weight(value=42, label=field);\nWeight.get($x$, label=\"field\").value(\"field\");"
		},
		{
			"cell_id": 15480924078324966867,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 9038011217009947855,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\subsection*{Expression pattern matching}\n\nIf you want to check whether an expression matches a particular pattern, use the \\verb|match| function of\nthe \\verb|Ex| object. By default this is rather strict, requiring that indices match not only their \ntype but also their name."
				}
			],
			"hidden": true,
			"source": "\\subsection*{Expression pattern matching}\n\nIf you want to check whether an expression matches a particular pattern, use the \\verb|match| function of\nthe \\verb|Ex| object. By default this is rather strict, requiring that indices match not only their \ntype but also their name."
		},
		{
			"cell_id": 15428739880702009928,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 10527841463011658704,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}True\\end{verbatim}"
				}
			],
			"source": "{m, n, k, l}::Indices(vector).\n{a, b, c, d}::Indices(spinor).\n$A_{m n}$.matches($A_{k l}$);"
		},
		{
			"cell_id": 5859548943414495175,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 9835839441480701178,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}True\\end{verbatim}"
				}
			],
			"source": "$A_{m n}$.matches($A_{m n}$);"
		},
		{
			"cell_id": 439816990948847934,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 10463085429454266003,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}True\\end{verbatim}"
				}
			],
			"source": "$A_{m n}$.matches($A_{k l}$);"
		},
		{
			"cell_id": 178071254264036679,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 8520200625278449269,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}False\\end{verbatim}"
				}
			],
			"source": "$A_{m n}$.matches($A_{a b}$);"
		},
		{
			"cell_id": 3833451727201026658,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 4681145677390692163,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "Wildcard symbols will match any symbol,"
				}
			],
			"hidden": true,
			"source": "Wildcard symbols will match any symbol,"
		},
		{
			"cell_id": 15459097290274009292,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 17514705620329867820,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}True\\end{verbatim}"
				},
				{
					"cell_id": 6727724608862362495,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}True\\end{verbatim}"
				}
			],
			"source": "$A_{m? n?}$.matches($A_{k l}$);\n$A_{m? n?}$.matches($A_{a b}$);"
		},
		{
			"cell_id": 14689819351858877261,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 3542175063139694324,
					"cell_origin": "server",
					"cell_type": "verbatim",
					"source": "\\begin{verbatim}True\\end{verbatim}"
				}
			],
			"source": "$A??$.matches($A_{k l}$);"
		},
		{
			"cell_id": 13699803665641708663,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 15997637797326181384,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "\\subsection*{Example: covariant derivatives}\n\nThe following example shows how you might implement the expansion of a covariant derivative\ninto partial derivatives and connection terms."
				}
			],
			"hidden": true,
			"source": "\\subsection*{Example: covariant derivatives}\n\nThe following example shows how you might implement the expansion of a covariant derivative\ninto partial derivatives and connection terms."
		},
		{
			"cell_id": 2872016859968266906,
			"cell_origin": "client",
			"cell_type": "input",
			"source": "def expand_nabla(ex):\n    for nabla in ex[r'\\nabla']:\n        nabla.name=r'\\partial'\n        dindex = nabla.indices().__next__() \n        for arg in nabla.args():             \n            ret:=0;\n            for index in arg.free_indices():\n                t2:= @(arg);\n                if index.parent_rel==sub:\n                    t1:= -\\Gamma^{p}_{@(dindex) @(index)};\n                    t2[index]:= _{p};\n                else:\n                    t1:=  \\Gamma^{@(index)}_{@(dindex) p};\n                    t2[index]:= ^{p};\n                ret += Ex(str(nabla.multiplier)) * t1 * t2\n            nabla += ret\n    return ex"
		},
		{
			"cell_id": 7237528541769121977,
			"cell_origin": "client",
			"cell_type": "latex",
			"cells": [
				{
					"cell_id": 15359169329483093600,
					"cell_origin": "client",
					"cell_type": "latex_view",
					"source": "The sample expressions below show how this automatically takes care of not\nintroducing connections for dummy indices, and how it automatically handles indices which\nare more complicated than single symbols."
				}
			],
			"hidden": true,
			"source": "The sample expressions below show how this automatically takes care of not\nintroducing connections for dummy indices, and how it automatically handles indices which\nare more complicated than single symbols."
		},
		{
			"cell_id": 17469792546183949,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 4611657941845445055,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"source": "\\begin{dmath*}{}\\text{Attached property Derivative to~}\\nabla{\\#}.\\end{dmath*}"
				},
				{
					"cell_id": 16721602649639875551,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 1971978125933515575,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": " 1/2 \\nabla_{a}(h^{b}_{c})"
						}
					],
					"source": "\\begin{dmath*}{}\\frac{1}{2}\\nabla_{a}{h^{b}\\,_{c}}\\end{dmath*}"
				},
				{
					"cell_id": 12329008971607097549,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 11268549708438857109,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": " 1/2 \\partial_{a}(h^{b}_{c}) +  1/2 \\Gamma^{b}_{a p} h^{p}_{c} -  1/2 \\Gamma^{p}_{a c} h^{b}_{p}"
						}
					],
					"source": "\\begin{dmath*}{}\\frac{1}{2}\\partial_{a}\\left(h^{b}\\,_{c}\\right)+\\frac{1}{2}\\Gamma^{b}\\,_{a p} h^{p}\\,_{c} - \\frac{1}{2}\\Gamma^{p}\\,_{a c} h^{b}\\,_{p}\\end{dmath*}"
				}
			],
			"source": "\\nabla{#}::Derivative;\nex:= 1/2 \\nabla_{a}{ h^{b}_{c} }; \nexpand_nabla(ex);"
		},
		{
			"cell_id": 8847950111214242351,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 14579838225112781037,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 670483492207020752,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": " 1/4 \\nabla_{a}(v_{b} w^{b})"
						}
					],
					"source": "\\begin{dmath*}{}\\frac{1}{4}\\nabla_{a}\\left(v_{b} w^{b}\\right)\\end{dmath*}"
				},
				{
					"cell_id": 7192521991910884351,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 14234065611728877339,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": " 1/4 \\partial_{a}(v_{b} w^{b})"
						}
					],
					"source": "\\begin{dmath*}{}\\frac{1}{4}\\partial_{a}\\left(v_{b} w^{b}\\right)\\end{dmath*}"
				}
			],
			"source": "ex:= 1/4 \\nabla_{a}{ v_{b} w^{b} };\nexpand_nabla(ex);"
		},
		{
			"cell_id": 5955745636040271481,
			"cell_origin": "client",
			"cell_type": "input",
			"cells": [
				{
					"cell_id": 4792471961978253002,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 9062010348280049351,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "\\nabla_{\\hat{a}}(h_{b c} v^{c})"
						}
					],
					"source": "\\begin{dmath*}{}\\nabla_{\\widehat{a}}\\left(h_{b c} v^{c}\\right)\\end{dmath*}"
				},
				{
					"cell_id": 16288256561314012077,
					"cell_origin": "server",
					"cell_type": "latex_view",
					"cells": [
						{
							"cell_id": 5483924240174076388,
							"cell_origin": "server",
							"cell_type": "input_form",
							"source": "\\partial_{\\hat{a}}(h_{b c} v^{c})-\\Gamma^{p}_{\\hat{a} b} h_{p c} v^{c}"
						}
					],
					"source": "\\begin{dmath*}{}\\partial_{\\widehat{a}}\\left(h_{b c} v^{c}\\right)-\\Gamma^{p}\\,_{\\widehat{a} b} h_{p c} v^{c}\\end{dmath*}"
				}
			],
			"source": "ex:= \\nabla_{\\hat{a}}{ h_{b c} v^{c} };\nexpand_nabla(ex);"
		},
		{
			"cell_id": 2378579335486944368,
			"cell_origin": "client",
			"cell_type": "input",
			"source": ""
		}
	],
	"description": "Cadabra JSON notebook format",
	"version": 1.0
}