You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: source/ch-invarianttheory.ptx
+4-4Lines changed: 4 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -24,7 +24,7 @@ in the open-source Computer Algebra System <url href="http://www2.macaulay2.com"
24
24
<p>
25
25
We finish the chapter with a selection of examples that illustrate the current capabilities of the InvariantRing package.
26
26
You can run the provided code in your local installation of M2 or go to the online version and execute the code cells on your browser.
27
-
Works well even on mobile devices!
27
+
This works well even on mobile devices!
28
28
</p>
29
29
</introduction>
30
30
@@ -71,8 +71,8 @@ x \\
71
71
via its action on a finite dimensional vector space <m>V </m> over a field <m>K </m> of characteristics zero.
72
72
In general, most of the results in this chapter hold in the non-modular case
73
73
i.e., when the characteristics of the field does not divide the order of the group.
74
-
However finite fields are not fully supported by the current version of the InvariantRing package
75
-
and the development of such functionalities is an active area of development.
74
+
As of now finite fields are not fully supported by the current version of the InvariantRing package
75
+
and such functionalities is an active area of development.
76
76
</p>
77
77
78
78
<p>
@@ -203,7 +203,7 @@ and we can check that <m>R_G(x+y)=x</m> is indeed invariant.
203
203
<title>Hilbert Ideal</title>
204
204
<p>
205
205
To describe a more sophisticated approach to the search for minimal algebra generators for an invariant ring, we will actually need to consider an ideal instead!
206
-
Note: for amy <m>\{ f_1,..., f_s\} \subseteq R</m>, the ideal generatd by <m>\{f_1,...f_s\}</m>
206
+
Note: for any <m>\{ f_1,..., f_s\} \subseteq R</m>, the ideal generatd by <m>\{f_1,...f_s\}</m>
207
207
and the subalgebra generated by <m>\{f_1,...f_s\}</m> over <m>\mathbb{K}</m> are very different objects.
0 commit comments