Edges[g] gives the list of edges in g. Edges[g, All] gives the edges of g along with the graphics options associated with each edge. Edges[g, EdgeWeight] returns the list of ...

ListNecklaces[n, c, Cyclic] returns all distinct necklaces whose beads are colored by colors from c. Here c is a list of n, not necessarily distinct colors, and two colored ...

NecklacePolynomial[n, c, Cyclic] returns a polynomial in the colors in c whose coefficients represent numbers of ways of coloring an n-bead necklace with colors chosen from ...

NumberOfNecklaces[n, nc, Cyclic] returns the number of distinct ways in which an n-bead necklace can be colored with nc colors, assuming that two colorings are equivalent if ...

SatisfiableQ[bf] gives True if a combination of values of variables exists that makes the Boolean function bf yield True.SatisfiableQ[expr, {a_1, a_2, ...}] gives True if a ...

True is the symbol for the Boolean value true.

Each version of Mathematica comes with a variety of standard extra packages that provide specific additional functionality. The specific code of these packages can be ...

ArticulationVertices[g] gives a list of all articulation vertices in graph g. These are vertices whose removal will disconnect the graph.

BiconnectedComponents[g] gives a list of the biconnected components of graph g. If g is directed, the underlying undirected graph is used.

BiconnectedQ[g] yields True if graph g is biconnected. If g is directed, the underlying undirected graph is used.