Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
A phrase normally is a part of a sentence, It is not always true, of course, Many people would view "Sh*t!" as a phrase. But according to Wikipedia, phrase is usually required to include all the dependents of the units that it contains. Some expressions that may be called phrases in everyday language are not phrases in the technical sense. For example, in the sentence I can't put up with Alex, the words put up with may be referred to in common language as a phrase but they do not form a complete phrase, since they do not include Alex, which is the complement of the preposition with.
All fundamental groups of closed 3-manifolds are linear, so they have word problem in logspace. Sol has exponential Dehn function, Nil has Dehn function $\sim n^3$.
If the graph is complete then any random subgraph is complete. If the graph is a cycle (path) and $n$ is small enough then the subgraph will be empty with positive probability.
Doesn't Bertini (never used it) produce approximal solutions only? If so, how are you going to show that there are no solutions? As far as I know there is an "art" of speeding up Groebner's method: choose different orders, etc.