Stack Overflow
Stack Overflow

Questions tagged [simplification]

249 questions
3
votes
0 answers

Product Classification

This is my first post on Stackoverflow but I've consulted this website very often. I was hoping someone could help me out. I'm trying to do a mapping of a product catalogue (not sure if it's the right term) in order to simplify it in the end. What I…
bart visschers
  • 31
  • 1
3
votes
1 answer

Simp does not use the provided lemma in Isabelle

I am doing Exercise 2.6 from the Concrete Semantics book: Starting from the type 'a tree defined in the text, define a function contents :: 'a tree ⇒ 'a list that collects all values in a tree in a list, in any order, without removing duplicates.…
Gergely
  • 6,879
  • 6
  • 25
  • 35
3
votes
1 answer

Simplification of Boolean Expression in java

Is there any tool or library in java which simplifies a boolean expression formula and gives result. when inputs are like that, exp = (a || a' ) result = 1 exp = ( a || b ) && ( a' || b ) result = b (after simplification) Expressions can be…
sctn
  • 71
  • 1
  • 5
3
votes
2 answers

Graph Simplification Algorithm Advice Needed

I have a need to take a 2D graph of n points and reduce it the r points (where r is a specific number less than n). For example, I may have two datasets with slightly different number of total points, say 1021 and 1001 and I'd like to force both…
Rich Sadowsky
  • 966
  • 1
  • 12
  • 22
3
votes
1 answer

disabling automatic simplification in sympy

i want to disable automatic simplification in sympy, for example solving the equation x*y-x i want to get x/x instead of 1 import sympy from sympy.abc import x,y,z expr = x*y-x sympy.solve(expr,y) => 1 # i want unsimplified x/x instead of 1 From…
Hakan Tiftikci
  • 31
  • 2
3
votes
3 answers

Simplify Simulations on R

as I mentioned in a previous question. I am brand new to programming and have no prior experience, but am very happy to be learning. However, I've run into the following problem, my professor has given us the following: sim1 <- function(n) { xm <-…
Salma Yazmine Atiya
  • 43
  • 3
3
votes
1 answer

Incremental line simplification

There's a lot of information on the internet regarding ordinary line simplification, https://www.jasondavies.com/simplify/ https://bost.ocks.org/mike/simplify/ http://geomalgorithms.com/a16-_decimate-1.html http://mourner.github.io/simplify-js/ i.e.…
Lu4
  • 14,873
  • 15
  • 79
  • 132
3
votes
2 answers

Can I simplify this code? And if so how

I am trying to add multiple commands to my very first MVVM program. But the way I am adding them here feels wrong to me. I want to prevent as much duplication as possible, can I make a kind of parent command that I can easily modify for…
Unhek
  • 93
  • 1
  • 9
3
votes
1 answer

How to simplify formula with MathNet.Symbolics?

I'm using the MathNet.Symbolics library to simplify an algebraic formulas like string f = Infix.Print(Infix.ParseOrThrow("L+H+L+H")) And I correctly get f="2*L+2*H" My problem arise when I need to subtract two of these formulas: string f =…
Michele mpp Marostica
  • 2,445
  • 4
  • 29
  • 45
3
votes
3 answers

Is it possible to join these two regex expressions into one?

i have the following two regular expressions (in order btw). 1. ^~/buying/(.*)\?(.*) => foo= group 1 baa= group 2. 2. ^~/buying/(.*) => foo= group 1 baa= nothing/empty/null/baibai What's i'm trying to do is, if the url has a…
Pure.Krome
  • 84,693
  • 113
  • 396
  • 647
3
votes
1 answer

which is more important, number of variables or subexpressions?

I presume the technique detecting shared expressions is applied on most of modern SMT solvers. The performance should be very good when it processes a sequence of similar expressions. However, I got unexpected results after I run Z3 on input1 and…
Tianhai Liu
  • 795
  • 5
  • 10
3
votes
4 answers

C#: How to simplify this string-of-numbers-to-various-date-parts-code

I have a string that might be between 1 and 8 characters long. I need to convert those into a day, a month and a year. For missing parts I will use the current one. The code I have now is kind of big and ugly, and I was wondering if someone have a…
Svish
  • 152,914
  • 173
  • 462
  • 620
3
votes
4 answers

What ways are there to simplify the install of a php app for linux and hopefully windows as well?

I have a php application ( http://github.com/tchalvak/ninjawars ), essentially a php-based webgame that I run at http://ninjawars.net . I frequently configure and install the app for myself for localhost development, and it's a somewhat…
Kzqai
  • 22,588
  • 25
  • 105
  • 137
3
votes
2 answers

MATLAB - preventing simplification of equations

Love this site and all the wonderful contributors on it! it has helped me out numerous times, but I can't find what I'm looking for in this instance. Quick question: How can I prevent Matlab from automatically 'simplifying' an equation in my matlab…
Ben Winding
  • 10,208
  • 4
  • 80
  • 67
3
votes
4 answers

Is there a more elegant/clever/brief way to bring an unknown number closer to 0?

Basically I'm working out drag in a game with physics. The sideways motion needs to be reduced (as in brought closer to 0, not just brought into negative), but I don't know which direction it's travelling in, so I don't know whether to add drag or…
Magicaxis
  • 371
  • 7
  • 16
1 2
3
…
16 17