Gelöst

Swap the first and last columns
Flip the outermost columns of matrix A, so that the first column becomes the last and the last column becomes the first. All oth...

fast 12 Jahre vor

Gelöst

Make a checkerboard matrix
Given an integer n, make an n-by-n matrix made up of alternating ones and zeros as shown below. The a(1,1) should be 1. Example...

fast 12 Jahre vor

Gelöst

Find all elements less than 0 or greater than 10 and replace them with NaN
Given an input vector x, find all elements of x less than 0 or greater than 10 and replace them with NaN. Example: Input ...

fast 12 Jahre vor

Gelöst

Triangle Numbers
Triangle numbers are the sums of successive integers. So 6 is a triangle number because 6 = 1 + 2 + 3 which can be displa...

fast 12 Jahre vor

Gelöst

Column Removal
Remove the nth column from input matrix A and return the resulting matrix in output B. So if A = [1 2 3; 4 5 6]; and ...

fast 12 Jahre vor

Gelöst

Select every other element of a vector
Write a function which returns every other element of the vector passed in. That is, it returns the all odd-numbered elements, s...

fast 12 Jahre vor

Gelöst

Determine if input is odd
Given the input n, return true if n is odd or false if n is even.

fast 12 Jahre vor

Gelöst

Add two numbers
Given a and b, return the sum a+b in c.

fast 12 Jahre vor

Gelöst

Find the sum of all the numbers of the input vector
Find the sum of all the numbers of the input vector x. Examples: Input x = [1 2 3 5] Output y is 11 Input x ...

fast 12 Jahre vor

Gelöst

Make the vector [1 2 3 4 5 6 7 8 9 10]
In MATLAB, you create a vector by enclosing the elements in square brackets like so: x = [1 2 3 4] Commas are optional, s...

fast 12 Jahre vor

Gelöst

Times 2 - START HERE
Try out this test problem first. Given the variable x as your input, multiply it by two and put the result in y. Examples:...

fast 12 Jahre vor

Beantwortet
I/O internal error
Hello Alan, First, I can suggest you to try your verification with the latest version, 14a. If the problem is still there, I...

fast 12 Jahre vor | 1

Beantwortet
What is the correct annotation syntax in Polyspace Bug Finder/Code Prover for multi-line comment annotations in source code?
The syntax is correct if there is no carriage return between "annotations>" and "These". If there is no carriage return, could ...

fast 12 Jahre vor | 0

Beantwortet
Having Issues with Polyspace Bug Finder
Hi ! The actions of the Run menu (I think that this is what you refer to when you write "Run drop down menu") are disabled in...

etwa 12 Jahre vor | 0

| akzeptiert

Beantwortet
Polyspace 2012a - compatibility windows 7 and Java libraries missing
Hi ! For the first question, can you tell me where do you see the message "Error: Unable to find the Java libraries pve.jar a...

mehr als 13 Jahre vor | 1

Beantwortet
In PolySpace R2011b the 'Coding Rules' window is not filled
Hello Konrad, This problem is unknown so far. This is why I suggest you to contact the technical support. To do so, please ...

mehr als 13 Jahre vor | 0

| akzeptiert

Beantwortet
Buffer size allocation
Hi! There is indeed a problem in the tooltip with the size in bytes of pointers when the size of char is 16 bits. In the e...

fast 14 Jahre vor | 1

Beantwortet
[Polyspace 2011b]: Out of memory during level1 check
Hi Mohamed ! More than 100k lines of code is quite big indeed, and is the reason of the "out of memory" problem. When fa...

fast 14 Jahre vor | 1