User Portlet

Math Logic

Discussions

Weird 3-blanks argument in defining function Oh! Got it! It was not weird, for the answer is wonderful! AUTHOR: Math Logic 2123VIEWS 2REPLIES BY: Math Logic 2 years ago
Use FindEquationalProof on the following equation? Got it! Appreciation!! AUTHOR: Math Logic 5692VIEWS 2REPLIES BY: Math Logic 4 years ago
Return all the expressions in equal relations? It works well ! You really have good feelings in Mathematica programming! Input a2=3, it will output 3== b1 == b2. I suppose it is same as the prohrams eqs = {a2 == b1 == b2, b3 == b4}; Slist = List @@@ eqs; ... AUTHOR: Math Logic 5550VIEWS 5REPLIES BY: Math Logic 4 years ago
Deduct by the rules for two schemes? So wonderful! Many thanks! AUTHOR: Math Logic 7604VIEWS 1REPLIES BY: Math Logic 5 years ago
Control a replacement step in any step and get the number of steps? Given the following sets with names s1={x1,x2} x1={y1,y2} y1 ={z1,z2} When s1 is entered, the names would be replaced finally by all the sets. That is Input s1 output::{{{z1,z2},y2},x2} Question1: could we control a... AUTHOR: Math Logic 4856VIEWS 1REPLIES 6 years ago
How to realize the function Nest[] with two replaced variables? Ah! It's just what I want ! Thank you !! AUTHOR: Math Logic 8105VIEWS 0REPLIES BY: Math Logic 6 years ago
Can StringReplace[] be expressed as a rule ? How ? Your explanation is so wonderful !!! AUTHOR: Math Logic 6960VIEWS 2REPLIES BY: Math Logic 6 years ago
[?] Know the number of braces in an expression? It is a new method, wonderful! AUTHOR: Math Logic 9793VIEWS 5REPLIES BY: Math Logic 7 years ago
Set up a package with Needs[]? Got it !(See below run result.) In fact, all the packages and the files in the directory, hold CAPITAL LETTERS. However, inner the files.m , the self-names are stated in lower case like MathProg, LogicProgramming.m. Now I transformed all in... AUTHOR: Math Logic 253105VIEWS 0REPLIES BY: Math Logic 7 years ago
Make a .m or .nb document for calling removing format information? When a .m or nb document is calling (see attachment 1), it seems to be mixed with format information and annotations in assembling (see attachment 2).Is there a method removing all the format information and annotations in the document? AUTHOR: Math Logic 4394VIEWS 0REPLIES 7 years ago

Feedback